Symbol: tpm_read_log_efi