Re: [coreboot] pci_device.c cleanup