1.1 --- a/scripts/build/kernel/linux.sh	Mon Dec 30 23:15:02 2013 +0100
     1.2 +++ b/scripts/build/kernel/linux.sh	Mon Dec 30 23:28:18 2013 +0100
     1.3 @@ -110,6 +110,10 @@
     1.4      V_OPT="V=${CT_KERNEL_LINUX_VERBOSE_LEVEL}"
     1.5  
     1.6      kernel_arch="${CT_ARCH}"
     1.7 +    case "${CT_ARCH}:${CT_ARCH_BITNESS}" in
     1.8 +        # ARM 64 (aka AArch64) is special
     1.9 +        arm:64) kernel_arch="arm64";;
    1.10 +    esac
    1.11  
    1.12      CT_DoLog EXTRA "Installing kernel headers"
    1.13      CT_DoExecLog ALL                                    \