[coreboot-gerrit] Patch set updated for coreboot: 208f7db exynos5420: Replace the 5250 clock logic with 5420.