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