Description: Recognise armv8l machine type
 This is a 32bit personality on an ARMv8 (64bit) CPU
Author: Stefano Rivera <stefanor@debian.org>
Origin: upstream, https://bitbucket.org/pypy/pypy/commits/0206c67c661f766c1d43be3d30a604c804a8a038

--- a/rpython/jit/backend/detect_cpu.py
+++ b/rpython/jit/backend/detect_cpu.py
@@ -64,6 +64,7 @@
             'x86_64': MODEL_X86,
             'amd64': MODEL_X86,    # freebsd
             'AMD64': MODEL_X86,    # win64
+            'armv8l': MODEL_ARM,   # 32-bit ARMv8
             'armv7l': MODEL_ARM,
             'armv6l': MODEL_ARM,
             'arm': MODEL_ARM,      # freebsd
