[coreboot] New patch to review for coreboot: 9ef50b7 Run option ROMs in coreboot by default only if the payload is not SeaBIOS