[coreboot-gerrit] Patch set updated for coreboot: edf9b61 exynos5420: Revamp the high speed I2C driver.