Re: [coreboot] Discussion about dynamic PCI MMIO size on x86