pci_bus_add_device(9) on Linux

The text 03c925821b2b, as Debian 4.0 (Etch) shipped it.

pci_bus_add_device(9) on Linux now