[coreboot] Patch merged into coreboot/master: 9ef50b7 Run option ROMs in coreboot by default only if the payload is not SeaBIOS