[coreboot] Discussion about dynamic PCI MMIO size on x86