[coreboot-gerrit] Patch set updated for coreboot: 49ee1fc exynos5420: Fix some problems with the clock management code.