[coreboot-gerrit] Patch merged into coreboot/master: 6d65f79 vboot: remove vboot1