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>

# dmalloc debug facility

## depends on ! BACKEND

##

## help dmalloc helps tracking memory allocation mis-usage

## help such as double-free, use-after-free...

choice

    bool

    prompt "dmalloc version"

# Don't remove next line

# CT_INSERT_VERSION_BELOW

config DMALLOC_V_5_5_2

    bool

    prompt "5.5.2"

endchoice

config DMALLOC_VERSION

    string

# Don't remove next line

# CT_INSERT_VERSION_STRING_BELOW

    default "5.5.2" if DMALLOC_V_5_5_2