[coreboot-gerrit] Patch set updated for coreboot: ec1e2f7 vboot2: add verstage