+ /* On some chipsets, this might set the "device active" bit
+ * for the keyboard controller. On ICH2, we appear to get
+ * lucky, but we need a mechanism of saying "I just touched
+ * the keyboard, please don't send me another SMI because of
+ * this"... XXX
+ * ICH2: outl(0x844, 0x1000);
+ */