Sim, é significativo.
Mais estudos levaram a esta página útil sobre o tópico. Ele discutiu as instruções disponíveis aqui , que acabaram levando a este repositório de programas shell EFI. Para os meus propósitos ** eu usei este arquivo do repositório para preencher o drive USB preparado da seguinte forma:
- Formatar o pendrive com partição FAT32 (digamos que seja montado em
X:
no Windows ou/usb-stick
no Linux) - Crie
X:\EFI\boot
ou/usb-stick/EFI/boot
diretório - Faça o download do shell script EFI nos links acima, movendo-o para o diretório
boot
recém-criado. - Pode ser necessário renomear o arquivo de acordo com as instruções vinculadas, no meu caso, com uma arquitetura de 64 bits, eu precisava nomear o arquivo
bootx64.efi
Com esse arranjo, de arquivos no pendrive, agora é inicializável usando um firmware de placa-mãe compatível com UEFI. (Adam Williamson implora que não chamá-lo de um BIOS compatível com UEFI!). Coloque o stick em uma porta USB habilitada no computador de destino, faça o que for necessário para inicializar a partir do pendrive USB no modo UEFI e ele abrirá um shell EFI. Continuando com o post do Bryan Vyhmeister, eu usei com sucesso o shell EFI para completar a tarefa que eu tinha em mãos.
** Eu precisava da versão 'completa', pois dava acesso à função mount
necessária para obter acesso aos arquivos e executáveis na unidade USB.