/boot/efi /boot/efi/EFI /boot/efi/EFI/BOOT /boot/efi/EFI/BOOT/bkpbootx64.efi /boot/efi/EFI/BOOT/bootx64.efi /boot/efi/EFI/debian /boot/efi/EFI/debian/fbx64.efi /boot/efi/EFI/debian/fw /boot/efi/EFI/debian/grub.cfg /boot/efi/EFI/debian/grubx64.efi /boot/efi/EFI/debian/mmx64.efi /boot/efi/EFI/debian/shimx64.efi /boot/efi/EFI/grub /boot/efi/EFI/grub/fbx64.efi /boot/efi/EFI/grub/grub.cfg /boot/efi/EFI/grub/grubx64.efi /boot/efi/EFI/grub/mmx64.efi /boot/efi/EFI/grub/shimx64.efi