My user manual discusses enabling TPM in the BIOS, but I cannot find that setting.  How can I determine whether I have one?  If I don't, why does the manual discuss it?