Please explain the following example - please remember that FAT32 is case-insensitive
# file /boot/efi/EFI/BooT/BooTx64.efi
/boot/efi/EFI/BooT/BooTx64.efi: PE32+ executable for EFI (application), x86-64 (stripped to external PDB), 4 sections
# tree /boot/efi
/boot/efi
├── EFI
│ ├── boot
│ │ └── bootx64.efi
│ ├── Manjaro
│ │ ├── fw
│ │ ├── fwupdx64.efi
│ │ └── grubx64.efi
│ ├── Test
│ │ └── grubx64.efi
│ └── UpdateCapsule
│ └── fwupd-94d6edee-8f19-40a9-be14-d881e2e3d55c.cap
├── loader
│ └── random-seed
└── main.efi
8 directories, 7 files
# ls /boot/efi/EFI/BOOT
bootx64.efi