[coreboot-gerrit] Patch set updated for coreboot: 7dd0cb4 exynos5420: add I2C8-10 to clock_get_periph_rate()