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