[coreboot-gerrit] New patch to review for coreboot: 80a0bea Fix int15 return value for mainboard oprom handlers