Se você quiser apenas executar um binário EFI remoto, procure o comando "rload" se estiver disponível no seu shell EFI.
Isso usa TFTP. E isso suponha que seu EFI tenha drivers de rede e tudo mais.
No meu shell, não encontrei um comando para realmente copiar o arquivo remoto para o sistema de arquivos, o que é meio chato.