/boot/efi /boot/efi/EFI /boot/efi/EFI/BOOT /boot/efi/EFI/BOOT/BOOTIA32.EFI /boot/efi/EFI/BOOT/BOOTX64.EFI /boot/efi/EFI/BOOT/fbia32.efi /boot/efi/EFI/BOOT/fbx64.efi /boot/efi/EFI/redos /boot/efi/EFI/redos/BOOTIA32.CSV /boot/efi/EFI/redos/BOOTX64.CSV /boot/efi/EFI/redos/gcdia32.efi /boot/efi/EFI/redos/gcdx64.efi /boot/efi/EFI/redos/grub.cfg /boot/efi/EFI/redos/grubia32.efi /boot/efi/EFI/redos/grubx64.efi /boot/efi/EFI/redos/mmia32.efi /boot/efi/EFI/redos/mmx64.efi /boot/efi/EFI/redos/shim.efi /boot/efi/EFI/redos/shimia32.efi /boot/efi/EFI/redos/shimx64.efi /boot/efi/mach_kernel /boot/efi/System /boot/efi/System/Library /boot/efi/System/Library/CoreServices /boot/efi/System/Library/CoreServices/SystemVersion.plist