const efi_file_system: u64 = 4;