[coreboot] Patch merged into coreboot/master: 694719a bootblock_cpu_init() stub for exynos5250