[coreboot-gerrit] Patch set updated for coreboot: nb/intel/x4x: Increase MMIO PCI space to 2GiB