In light of the recent Infineon TPM debacle, I am trying to figure out: - If I am affected (TPM MMC snap-in lists TPM manufacturer as "IFX", but there doesn't seem to be a TPM manufacturer with that ...

Since you're going to keep your serial in encrypted form anyway, its the same, setup wise. And use wise, you won't be able to tell the difference. I personally, as I said, just packed the serials for ...