Ao inicializar a partir de uma mídia removível, /efi/boot/boot<architecture>.efi
é o arquivo que o firmware UEFI deve procurar, de acordo com as especificações da UEFI.
Mas então, o gerenciador de inicialização GRUB como empacotado pelo Debian provavelmente também precisa do diretório do módulo GRUB correspondente e seu conteúdo: para o GRUB de 32 bits, seria /boot/grub/i386-efi/
. Acho que o Ubuntu e o Fedora configuram suas versões do GRUB de maneira ligeiramente diferente, e suas configurações do GRUB incluem mais módulos do GRUB no binário principal do GRUB .efi.
Os módulos estão em grub-efi-ia32-bin
package, e em uma instalação do sistema operacional, eles estão inicialmente localizados em /usr/lib/grub/<module directory>
e o processo de instalação do gerenciador de inicialização os copia de lá para sua localização final em /boot/grub/<module directory>
.
Acho que o /boot/grub/efi.img
contém uma imagem de inicialização do CD-ROM que é necessária pela extensão "El Torito" para o padrão ISO-9660 e não é usada ao inicializar de um dongle USB formatado em FAT32.