Você pode baixar o Shell EFI do projeto TianoCore . É uma versão de código aberto baseada na implementação da Intel.
Faça o download desse binário, insira a partição do sistema EFI e adicione uma entrada de inicialização UEFI. A maneira mais fácil de fazer isso é usando o Linux: (como root)
cd /efi/boot
wget https://github.com/tianocore/edk2/raw/master/ShellBinPkg/UefiShell/X64/Shell.efi
efibootmgr -c -p 1 -l shell.efi -L "EFI Shell"
Em seguida, defina-a como opção de inicialização padrão por meio de sua interface de configuração UEFI ou usando efibootmgr
:
efibootmgr -o $(efibootmgr | grep 'EFI Shell' | sed -r -e 's/^Boot0+//' -e 's/\*.*//')