debug/gdb: we don't care if the host tic is shared or static

Because we need our own host tic, we have to build it; and we do build
it statically for now.

But as MacOS/Darwin/Whatever-you-call-it does not support static linking
(what a shame!), it fails.

Anyway, we don't really care it being shared, in the end.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from 41bd6777fa4f767d6264db7c58986920014fd708)

 # ARM specific configuration file

 ## select ARCH_SUPPORTS_32

 ## select ARCH_DEFAULT_32

 ## select ARCH_SUPPORTS_BOTH_MMU

 ## select ARCH_DEFAULT_HAS_MMU

 ## select ARCH_SUPPORTS_BOTH_ENDIAN

 ## select ARCH_DEFAULT_LE

 ## select ARCH_SUPPORT_ARCH

 ## select ARCH_SUPPORT_CPU

 ## select ARCH_SUPPORT_TUNE

 ## select ARCH_SUPPORT_FPU

 ##

 ## help The ARM architecture, as defined by:

 ## help     http://www.arm.com/