tree 759ef417d512ba48f2d6de5d2c946629c485b5b2
parent 2b95c23303dcbce7efe12d2c3cc062e4f4adfcd4
author Jian Ho <jianho@google.com> 1423708089 -0800
committer Jian Ho <jianho@google.com> 1423722999 -0800

Enable TPM driver from linux 3.10.68.

Changes:
1. Turned on TPM Infineon support for SpaceCast in file
   arch/arm/configs/gfsc100_defconfig
2. The name of the I2C device has to be "tpm_i2c_infineon". It is
   hardcoded in Infineon's driver.

Change-Id: If40728f35a97958a2d420d714f7338da092442dd