[coreboot-gerrit] Patch merged into coreboot/master: dda0e66 Exynos5420: Fix up the i2c driver for use with the TPM driver