Stuff to calculate values for TPM PCRs.