Auditing the TPM