[coreboot] New patch to review for coreboot: d672fbd romstage: add support for vboot firmware selection