Apenas solte este binário nesse flash dirija o diretório-raiz do FAT (ou talvez EFI/BOOT/
subdiretório, depende do IIRC) sob o nome de shellx64.efi
, ou obtenha uma cópia de refixar a imagem usbflash , que também serviria como um gerenciador de boot decente.