const efi_file_reserved: u64 = 8;