Sim, o AMD64 está correto.
Por razões históricas (a AMD tinha uma arquitetura de 64 bits pronta primeiro que a Intel copiou em grande parte), a versão de 64 bits do chipset x86 é chamada "AMD64", mesmo para chips Intel.Da mesma forma, "x86" não significa exatamente 32 bits. Ele volta para a família de CPUs 8086, 80286, 80386 e 80486. No entanto, ele se tornou sinônimo de arquiteturas de CPU de desktop / servidor de 32 bits.