Make sure to use enough bits for nsec value

controller/controller/controller_sample.c

@@ -347,8 +347,8 @@ static void *sample_thread(void *arg)
 		
 		t.tv_nsec += nsec_interval;
 		tsnorm(&t);
-		
-		controller_time_nseconds = t.tv_sec * 1000000000;
+	
+		controller_time_nseconds = (uint64_t)t.tv_sec * 1000000000;
 		controller_time_nseconds += t.tv_nsec;
 		controller_time_seconds = t.tv_sec;
 		controller_time_samplenr = t.tv_nsec / nsec_interval;