The home of the pci.ids file
Main -> PCI Devices -> Vendor 8087
That is a USB ID, not PCI. It is already present in the USB ID database at http://usb-ids.gowdy.us/.
See home page of the repository for more information.