[coreboot-gerrit] New patch to review for coreboot: 6afbb60 Exynos5420: Fix up the i2c driver for use with the TPM driver