[coreboot-gerrit] Patch merged into coreboot/master: 0c0efa7 exynos5250: remove unused ret variable in cpu.c