Symbol: tpm1_pcr_extend