[coreboot-gerrit] Patch set updated for coreboot: ade8fcf vboot2: fix up "add verstage"