[coreboot-gerrit] New patch to review for coreboot: 2519eda exynos5420: Replace the 5250 clock logic with 5420.