Apparemment le boot se fait par défaut sur /boot/efi/EFI/boot/bootx64.efi (pour une archi x64)

Par exemple sur Virtual Box pour le plus démarrer sur Shell UEFI mais sur Grub

cd /boot/efi/EFI
mkdir boot
cp -p debian/grubx64.efi boot/bootx64.efi