const efi_file_archive: u64 = 32;