[coreboot-gerrit] Patch merged into coreboot/master: fd79562 romstage: add support for vboot firmware selection