I noticed that config-x86 and config-x86_64 both have tpm_infineon=m but config-ia64 does not. I enabled that on my system and rebuild the kernel rpm and everything just worked. Could tpm_infineon be built as a module by default for ia64? Thanks -matt