Use __aarch64__ for 64-bit ARM detection, not __arm64__

Many GCC versions don't define __arm64__