Symbol: tpm_pcr_read