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