makepanda: accept arm64 as alias for aarch64 when building for Android

makepanda/makepandacore.py

@@ -393,6 +393,9 @@ def SetTarget(target, arch=None):
             else:
                 arch = 'armv7a'
 
+        if arch == 'arm64':
+            arch = 'aarch64'
+
         # Did we specify an API level?
         global ANDROID_API
         target, _, api = target.partition('-')