diff -r 87ad9e82546d -r 069f43a215cc scripts/build/kernel/linux.sh
--- a/scripts/build/kernel/linux.sh	Mon Dec 30 23:28:18 2013 +0100
+++ b/scripts/build/kernel/linux.sh	Wed Jun 25 23:33:01 2014 +0200
@@ -97,7 +97,7 @@
 # Install kernel headers using headers_install from kernel sources.
 do_kernel_install() {
     local kernel_path
-    local arch
+    local kernel_arch
 
     CT_DoLog DEBUG "Using kernel's headers_install"
 
@@ -119,7 +119,7 @@
     CT_DoExecLog ALL                                    \
     make -C "${kernel_path}"                            \
          O="${CT_BUILD_DIR}/build-kernel-headers"       \
-         ARCH=${arch}                                   \
+         ARCH=${kernel_arch}                            \
          INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"       \
          ${V_OPT}                                       \
          headers_install
@@ -129,7 +129,7 @@
         CT_DoExecLog ALL                                    \
         make -C "${kernel_path}"                            \
              O="${CT_BUILD_DIR}/build-kernel-headers"       \
-             ARCH=${arch}                                   \
+             ARCH=${kernel_arch}                            \
              INSTALL_HDR_PATH="${CT_SYSROOT_DIR}/usr"       \
              ${V_OPT}                                       \
              headers_check