O USB inicializável da EFI não aparece: preciso do bootx64.efi?

Question

Estou enfrentando pela primeira vez um problema para inicializar uma unidade USB de um mini-PC EFI e estou um pouco confuso. Depois de ler um monte de tópicos eu fiz o seguinte:

1. baixei o .iso (OpenMediaVault por sinal)
2. crie o USB inicializável com o Rufus selecionando "GPT para UEFI"
3. tente inicializar ...

A máquina de destino ainda não mostra minha unidade USB nas opções de inicialização. Eu também fiz:

• map do shell EFI mostra os arquivos na minha unidade USB
• também ativei as configurações "herdadas" no BIOS

Eu li que para ser compatível com EFI eu preciso ter \efi\boot\bootx64.efi na minha unidade removível. Claro que não.

Eu não entendo se esse arquivo é padrão (ou seja, pode ser baixado em algum lugar) ou tem que ser fornecido especificamente para o SO que eu quero carregar.