In trying to turn on Bitlocker on my XPS 8930 I got an error which indicated lack of TPM support. I went to the BIOS setup to look for TPM related options. One exists, but it's greyed out and marked "disabled". Does this model not have TPM support?