The text ca1216291417, as Debian 7 (Wheezy) shipped it.
register a new pci driver
__pci_register_driver(9) on Linux now