diff --git a/erts/configure.in b/erts/configure.in
index 6ad1951..ce7e4ef 100644
--- a/erts/configure.in
+++ b/erts/configure.in
@@ -620,6 +620,7 @@ case $chk_arch_ in
     armv5tel)	ARCH=arm;;
     armv5tejl)	ARCH=arm;;
     armv7l)	ARCH=arm;;
+    armv7hl)    ARCH=arm;;
     tile)	ARCH=tile;;
     *)	 	ARCH=noarch;;
 esac
-- 
1.7.10