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