/boot/efi /boot/efi/EFI /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