[coreboot-gerrit] New patch to review for coreboot: 3c1d50a vboot2: fix up "add verstage"