Eles podem não fornecer ISOs híbridos inicializáveis que suportem UEFI. Se você está tentando instalar o Nix de qualquer maneira, talvez tentar com uma máquina virtual baseada em BIOS seja melhor; se isso funcionar (e você precisar executá-lo em um host baseado em UEFI), tente vm baseado em UEFI; se isso funcionar, tente desabilitar o SecureBoot no DVD de inicialização (USB externo) do seu host e ; se isso funciona, você basicamente tem apenas dois pontos de estrangulamento para explorar.
Você também pode querer ler este excelente lançamento da UEFI de Rod Smith (que me ajudou muito a implementar a UEFI suporte no ALT Linux).