tpm-tools is required to use TPM

At least for Ubuntu.  Have written up a fairly thorough guide to enabling TPM for use with Pond, but need to polish it more before adding it.