O wimboot do projeto iPXE é construído por padrão como uma imagem de inicialização combinada x64 EFI e "kernel compatível", isso é como um kernel Linux com o EFI_STUB ativado. Como tal, a resposta sobre wimboot sendo um binário de 16 bits não está correta, qualquer coisa que esteja rodando no modo EFI, deve chamar wimboot, já que ele é um binário efi. O Grub não tem esse recurso, ou a implementação da detecção correta dos binários EFI está com bugs. Observe também que ao executar no modo EFI, os arquivos de suporte (bcd, boot.sdi, boot.wim etc) não devem ser compactados com o cpio, mas devem ser carregados na memória efifs.