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