The text eedac0f51b2c, as Debian 8 (Jessie) shipped it.
remove a PCI device and any children
pci_stop_and_remove_bus_device(9) on Linux now
