Symbol: verify_pcr_export