"ia64" é para a arquitetura de CPU Itanium - não é a imagem x86-64 que você diz que é procurando por.
As imagens x86-64 estão marcadas como " amd64 ". Aqui está um link direto para ya: link
Além disso, se estiver interessado, talvez confira esta informação sobre a inicialização para o Debian Imagem de disco IA64 - aparentemente, eles tiveram problemas com isso no passado (e talvez atualmente também) quando são usados em um sistema com um EFI.