[coreboot] PCI setup documentation