Ah, but there is a question (was a question?) The deployed IBM TPM were pre-TCG1.1b (if I remember correctly) and the Infineon that HP is deploying is current-TCG1.1b
I'm sure I'm a little off, but my understanding was that they were different animals. The CD set on the wave site is, (if I recall), compatible with both