The text 98c5f9ac41d6, as Debian 7 (Wheezy) shipped it.
disable ROM decoding for a PCI device
pci_disable_rom(9) on Linux now
