[PATCH] tpm: Support for Infineon TPM