[coreboot] a question about hardware and PCI