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>

# Options specific to crosstool-NG acting as a backend

config IS_A_BACKEND

    string

    option env="CT_IS_A_BACKEND"

config BACKEND

    bool

    default y if IS_A_BACKEND = "y" || IS_A_BACKEND = "Y"

config BACKEND_ARCH

    string

    option env="CT_BACKEND_ARCH"

config BACKEND_KERNEL

    string

    option env="CT_BACKEND_KERNEL"

config BACKEND_LIBC

    string

    option env="CT_BACKEND_LIBC"