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