pci_hp_deregister(9) on Linux

The text 7411bdb63bd6, as Debian 4.0 (Etch) shipped it.

deregister a hotplug_slot with the PCI hotplug subsystem

pci_hp_deregister(9) on Linux now