[coreboot-gerrit] Patch set updated for coreboot: da9a3e0 regions support