Index: otp_src_R16B02/erts/configure
===================================================================
--- otp_src_R16B02.orig/erts/configure
+++ otp_src_R16B02/erts/configure
@@ -5428,6 +5428,7 @@ case $chk_arch_ in
     armv5tejl)	ARCH=arm;;
     armv6l) ARCH=arm;;
     armv7l)	ARCH=arm;;
+    armv7hl)	ARCH=arm;;
     tile)	ARCH=tile;;
     *)	 	ARCH=noarch;;
 esac
Index: otp_src_R16B02/erts/configure.in
===================================================================
--- otp_src_R16B02.orig/erts/configure.in
+++ otp_src_R16B02/erts/configure.in
@@ -635,6 +635,7 @@ case $chk_arch_ in
     armv5tejl)	ARCH=arm;;
     armv6l) ARCH=arm;;
     armv7l)	ARCH=arm;;
+    armv7hl)	ARCH=arm;;
     tile)	ARCH=tile;;
     *)	 	ARCH=noarch;;
 esac