aarch64 is arguably correct but not very evocative (to speak politely). the arm marketing people must be uninterested in distinguishing their design from other systems.
arm64 is clearer and in line with amd64, but possibly confusing therefore. aarch64 is perhaps the better choice but arm64 would be fine with me too. i too don't really care. -rob
