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