Re-enabled individual task timers.

src/timers.c

@@ -83,12 +83,9 @@ char *timers_names[timer_count] = {
  *
  * To reset all timers, use the mask #timers_mask_all.
  */
-
 void timers_reset(unsigned long long mask) {
 
-  int k;
-
   /* Loop over the timers and set the masked ones to zero. */
-  for (k = 0; k < timer_count; k++)
+  for (int k = 0; k < timer_count; k++)
     if (mask & (1ull << k)) timers[k] = 0;
 }