Re: [coreboot] PCI setup documentation