+ puts("Current USB state is: "); puthex(pci_read16(0, 31, 2, 0xC0)); puts(" "); puthex(pci_read16(0, 31, 4, 0xC0)); puts("\n");
+ puts("Current SMI state is: "); puthex(inl(0x830)); puts("\n");
+ puts("Current SMRAMC state is: "); puthex(pci_read8(0, 0, 0, 0x70)); puts("\n");
+
+ outl(0x830, inl(0x830) & ~0x1); /* turn off SMIs */
+
+ /* Try really hard to shut up USB_LEGKEY. */
+ pci_write16(0, 31, 2, 0xC0, pci_read16(0, 31, 2, 0xC0));
+ pci_write16(0, 31, 2, 0xC0, 0);
+ pci_write16(0, 31, 4, 0xC0, pci_read16(0, 31, 4, 0xC0));
+ pci_write16(0, 31, 4, 0xC0, 0);
+ smramc = pci_read8(0, 0, 0, 0x70);
+ pci_write8(0, 0, 0, 0x70, (smramc & 0xF0) | 0x04);