[coreboot-gerrit] Patch set updated for coreboot: nb/intel/i945: make pci_mmio_size configurable in devicetree