timestamping_timer: also reset counter

src/hardware/configuration.rs

@@ -211,6 +211,7 @@ pub fn setup(
         // Configure the timer to count at the designed tick rate. We will manually set the
         // period below.
         timer5.pause();
+        timer5.reset_counter();
         timer5.set_tick_freq(design_parameters::TIMER_FREQUENCY);
 
         // The timestamp timer must run at exactly a multiple of the sample timer based on the