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