Download datasone's modded shell and rename it to BOOTX64.EFI. Format a USB drive as FAT32 and move BOOTX64.EFI to USB:\EFI\BOOT\ (create the folders EFI and BOOT manually). The final path of the ...