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