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