/boot/efi /boot/efi/EFI /boot/efi/EFI/boot /boot/efi/EFI/boot/bootx64.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 /boot/efi/EFI/openmandriva /boot/efi/EFI/OpenMandriva_Lx_[GRUB] /boot/efi/EFI/OpenMandriva_Lx_[GRUB]/grubx64.efi /boot/efi/EFI/ubuntu