mbed: less debug print for timers