[coreboot-gerrit] Patch set updated for coreboot: c17d2a3 exynos5420: use speed parameter in i2c_init() for HSI2C