/boot/efi /boot/efi/EFI /boot/efi/EFI/debian /boot/efi/EFI/debian/BOOTIA32.CSV /boot/efi/EFI/debian/fbia32.efi /boot/efi/EFI/debian/grub.cfg /boot/efi/EFI/debian/grub.efi /boot/efi/EFI/debian/grubia32.efi /boot/efi/EFI/debian/mmia32.efi /boot/efi/EFI/debian/shimia32.efi