/boot/efi /boot/efi/EFI /boot/efi/EFI/boot /boot/efi/EFI/Debian /boot/efi/EFI/Debian/BOOTX64.CSV /boot/efi/EFI/Debian/fbx64.efi /boot/efi/EFI/Debian/grub.cfg /boot/efi/EFI/Debian/grubx64.efi /boot/efi/EFI/Debian/mmx64.efi /boot/efi/EFI/Debian/shimx64.efi