[coreboot-gerrit] Patch merged into coreboot/master: ba80887 vboot2: Build verstage archive, then use that for building the stage