[coreboot-gerrit] Patch merged into coreboot/master: be58278 exynos5420: use speed parameter in i2c_init() for HSI2C