config SEMIHOSTING
       bool

config ARM_COMPATIBLE_SEMIHOSTING
       bool
       select SEMIHOSTING