Index: otp_src_R16B/erts/configure
===================================================================
--- otp_src_R16B.orig/erts/configure
+++ otp_src_R16B/erts/configure
@@ -5413,6 +5413,7 @@ case $chk_arch_ in
     armv5tel)	ARCH=arm;;
     armv5tejl)	ARCH=arm;;
     armv7l)	ARCH=arm;;
+    armv7hl)	ARCH=arm;;
     tile)	ARCH=tile;;
     *)	 	ARCH=noarch;;
 esac
Index: otp_src_R16B/erts/configure.in
===================================================================
--- otp_src_R16B.orig/erts/configure.in
+++ otp_src_R16B/erts/configure.in
@@ -626,6 +626,7 @@ case $chk_arch_ in
     armv5tel)	ARCH=arm;;
     armv5tejl)	ARCH=arm;;
     armv7l)	ARCH=arm;;
+    armv7hl)	ARCH=arm;;
     tile)	ARCH=tile;;
     *)	 	ARCH=noarch;;
 esac