Symbol: tpm1_get_pcr_allocation