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