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>

 # Menu for the native GDB

 config GDB_NATIVE

     bool

     prompt "Native gdb"

     depends on ! BARE_METAL

     depends on ! BACKEND

     help

       Build and install a native gdb for the target, to run on the target.

 if GDB_NATIVE

 config GDB_NATIVE_STATIC

     bool

     prompt "Build a static native gdb"

     help

       In case you have trouble with dynamic loading of shared libraries,

       you will find that a static gdb comes in handy.

 endif # GDB_NATIVE