[coreboot-gerrit] Patch set updated for coreboot: 342cbb4 regions: add more helpers