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
4 files changed