Só um lembrete: ia64 é a arquitetura do Itanium 64, que já é oficialmente suportada pelo Debian
"amd64" é o nome da arquitetura para o Athlon-64 e demais processadores com extensão 64 bits que sejam compatíveis com o padrão i386 também. -- Eduardo Costa Lisboa
