/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 /boot/efi/EFI/HP /boot/efi/EFI/HP/BIOS /boot/efi/EFI/HP/BIOS/Current /boot/efi/EFI/HP/BIOS/Current/R71_012900.bin /boot/efi/EFI/HP/BIOS/New /boot/efi/EFI/HP/BIOS/Previous /boot/efi/EFI/HP/BIOS/Previous/R71_012800.bin /boot/efi/EFI/HP/DEVFW /boot/efi/EFI/HP/DEVFW/CCG5.bin /boot/efi/EFI/HP/DEVFW/ME.bin