Да, AMD64 - это правильно.
По историческим причинам (AMD сначала подготовила 64-битную архитектуру, которую Intel в основном скопировала), 64-битная версия набора микросхем x86 называется «AMD64», даже для чипов Intel.
Точно так же x86 не означает 32-битный. Он восходит к семейству процессоров 8086, 80286, 80386 и 80486. Тем не менее, он стал синонимом 32-битной архитектуры ЦП для настольных компьютеров и серверов.