[coreboot] The discussion of PCI memory IO