[coreboot-gerrit] Patch set updated for coreboot: e36c6d1 coreboot: add region infrastructure