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)

 # Bare metal config options

 ## select BARE_METAL

 ##

 ## help 'Bare metal' refers to those programs that run without any kernel.

 ## help

 ## help You probably want to say 'y' here if you plan to use your compiler

 ## help to build bootloaders. It is not yet suitable to build Linux kernels,

 ## help though, because the APCI stuff relies on the target C library headers

 ## help being available?!?!...