Symbol: tpm_pcr_extend