Ja, AMD64 ist korrekt.
Aus historischen Gründen (AMD hatte zunächst eine 64-Bit-Architektur, die von Intel weitgehend kopiert wurde), heißt die 64-Bit-Version des x86-Chipsatzes "AMD64", selbst für Intel-Chips.
Auf dieselbe Weise bedeutet "x86" nicht genau 32-Bit. Sie geht zurück auf die 8086-, 80286-, 80386- und 80486-Familie von CPUs. Es ist jedoch ein Synonym für 32-Bit-Desktop- / Server-CPU-Architekturen geworden.