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