Tras la publicación, AMD lo llamó "AMD64".