kernel/linux: prepare for arch whose kenel name is not the standard name

For some architectures, the kernel architecture name is not the common
name of the architecture for other tools.

For example: ARM 64-bit is commonly referenced as aarch64, but the kernel
calls it arm64.

Signed-off-by: Michael Hope <michael.hope@linaro.org>
Signed-off-by: Zhenqiang Chen <zhenqiang.chen@linaro.org>
[yann.morin.1998@free.fr: split out of the aarch64 patch]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>

# This file declares functions to install the kernel headers for mingw64

# Copyright 2012 Yann Diorcet

# Licensed under the GPL v2. See COPYING in the root of this package

CT_DoKernelTupleValues() {

    # Even we compile for x86_64 target architecture, the target OS have to

    # bet mingw32 (require by gcc and mingw-w64)

    CT_TARGET_KERNEL="mingw32"

    CT_TARGET_SYS=

}

do_kernel_get() {

    :

}

do_kernel_extract() {

    :

}

do_kernel_headers() {

   :

}