x86-64 was the original name by AMD, they rebranded it shortly before commercial availability to AMD64. Kernels and compilers had already been updated at that time and just kept the "old" name.