The text 48b40debee4d, as Debian 5.0 (Lenny) shipped it.
Disable PCI device after use
pci_disable_device(9) on Linux now
