[coreboot-gerrit] Patch merged into coreboot/master: 1c05400 Fix int15 return value for mainboard oprom handlers