tpm_infineon=m for config-ia64