[coreboot-gerrit] Patch set updated for coreboot: 9f4cbad Fix int15 return value for mainboard oprom handlers