[coreboot-gerrit] Patch merged into coreboot/master: 2d2e37f exynos5420: Change some clock settings.