pci_dev_put(9) on Linux

The text 8ec06fb58dfa, as Debian 9 (Stretch) shipped it. The page shows this text now.

release a use of the pci device structure

pci_dev_put(9) on Linux now