[coreboot] pci_device.c cleanup