The text 71a0126300ab, as Debian 4.0 (Etch) shipped it.
unregister a pci driver
pci_unregister_driver(9) on Linux now
