[coreboot-gerrit] Patch merged into coreboot/master: cf7509c exynos5420: Fix the way the rate of the input clock for i2c buses is found.