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