bug in pci_locate_device?