[coreboot-gerrit] Patch merged into coreboot/master: 77b1655 vboot2: add verstage