__crc_efi_tpm_final_log_size = 0xe9e8faeb;