/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 /boot/efi/EFI/HP /boot/efi/EFI/HP/DEVFW /boot/efi/EFI/HP/DEVFW/ACG1F.bin /boot/efi/EFI/HP/DEVFW/Firmware.BIN /boot/efi/EFI/HP/DEVFW/MeCurrent.BIN