[PATCH 4/6] UBUNTU: Add armhf to Debian -> Linux arch map

[Loïc Minier]

debian/scripts/misc/kernelconfig: add support for armhf to Debian ->
Linux arch map.

Signed-off-by: Loïc Minier <loic.minier at linaro.org>
---
 debian/scripts/misc/kernelconfig |   12 ++++++------
 1 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/debian/scripts/misc/kernelconfig b/debian/scripts/misc/kernelconfig
index 6432276..8812b61 100755
--- a/debian/scripts/misc/kernelconfig
+++ b/debian/scripts/misc/kernelconfig
@@ -46,12 +46,12 @@ for arch in $archs; do
 
 	# Map debian archs to kernel archs
 	case "$arch" in
-		ppc64)	kernarch="powerpc"	;;
-		amd64)	kernarch="x86_64"	;;
-		lpia)   kernarch="x86" 		;;
-		sparc)	kernarch="sparc64"	;;
-		armel)	kernarch="arm"		;;
-		*)	kernarch="$arch"	;;
+		ppc64)		kernarch="powerpc"	;;
+		amd64)		kernarch="x86_64"	;;
+		lpia)		kernarch="x86" 		;;
+		sparc)		kernarch="sparc64"	;;
+		armel|armhf)	kernarch="arm"		;;
+		*)		kernarch="$arch"	;;
 	esac
 
 	archconfdir=$confdir/$arch
-- 
1.7.4.1