Re: tpm_infineon=m for config-ia64