Removes the constant "+00000ms:" from the debug output.

radio/src/debug.h

@@ -54,8 +54,8 @@ uint8_t aux2SerialTracesEnabled();
   #define debugPrintf(...)
 #endif
 
-#define TRACE_TIME_FORMAT     "%0.2f "
-#define TRACE_TIME_VALUE      ((float)g_tmr10ms / 100)
+#define TRACE_TIME_FORMAT     "%0.2fs: "
+#define TRACE_TIME_VALUE      ((float)g_tmr10ms / 100.0)
 
 #define TRACE_NOCRLF(...)     debugPrintf(__VA_ARGS__)
 #define TRACE(f_, ...)        debugPrintf((TRACE_TIME_FORMAT f_ CRLF), TRACE_TIME_VALUE, ##__VA_ARGS__)
@@ -432,9 +432,5 @@ extern const char * const debugTimerNames[DEBUG_TIMERS_COUNT];
 
 #endif //#if defined(DEBUG_TIMERS)
 
-#if !defined(SIMU)
-extern uint32_t debugCounter1ms;
-#endif
-
 #endif // _DEBUG_H_