  bool 'Accelerated UART tracing       ' CONFIG_DEBUG_UART
#  bool 'Integer unit register writes       ' CONFIG_DEBUG_IURF
#  dep_bool 'Floating-point unit register writes       ' CONFIG_DEBUG_FPURF $CONFIG_FPU_ENABLE
