I've definitely not seen that before. This table of links for identifying and activating the TPM on various platforms is quite interesting (and timely) as well. http://wave.com/support/installation/tpm_chart.htm
In the TPM Chart, click on the "Check TPM" and "Reset TPM" links for Dell platforms - they bring up a slideshow tutorial that steps through changing the BIOS settings. The Dell TPM 1.1 "Install TPM" slideshow goes through the entire process.