[coreboot-gerrit] Patch merged into coreboot/master: 6a89cf3 Honor vboot's request to load the VGA option ROM