The text 7037741d7bde, as Debian 7 (Wheezy) shipped it.
reports a lost PCI interrupt
pci_lost_interrupt(9) on Linux now
