Re: [coreboot] a question about hardware and PCI