PCI_VENDOR_OPTION 10151 dev/pci/pcidevs_data.h 	    PCI_VENDOR_OPTION, PCI_PRODUCT_OPTION_F32,
PCI_VENDOR_OPTION 14675 dev/pci/pcidevs_data.h 	    PCI_VENDOR_OPTION,