[coreboot-gerrit] Patch merged into coreboot/master: becb3f6 exynos5420: Revamp the high speed I2C driver.