[coreboot-gerrit] Patch set updated for coreboot: 25aab46 exynos5420: Fix the way the rate of the input clock for i2c buses is found.