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