UBUNTU: Add armhf to Debian -> Linux arch map

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

Signed-off-by: Loïc Minier <loic.minier@linaro.org>
Signed-off-by: Andy Whitcroft <apw@canonical.com>

diff --git a/debian/scripts/misc/kernelconfig b/debian/scripts/misc/kernelconfig
index 6432276..8812b61 100755 (executable)
--- 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