-void __firstrun_stub() {
-
- /* 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);
-