[coreboot] Patch set updated for coreboot: 775bfbd exynos5250: clean-ups for clock_init