[coreboot-gerrit] Patch merged into coreboot/master: 5d5f4b3 coreboot: add region infrastructure