[coreboot] Patch merged into coreboot/master: 5f6d857 exynos5250: clean-ups for clock_init