${lead}
Im BIOS-Setup findet man manchmal auch Hinweise auf den TPM-Typ; "IFX" steht hier für Infineon, es handelt sich also um einen separaten TPM-2.0-Chip.