[coreboot] Patch merged into coreboot/master: eb5e252 exynos5250: Hacked up lowlevel_init_c