pci_add_dynid(9) on Linux

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

add a new PCI device ID to this driver and re-probe devices

pci_add_dynid(9) on Linux now