Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision e257ae3afe1ceec7d39e238296d4efc444331167)
+++ kernel/generic/src/time/clock.c	(revision 9dae191e774f517d5430fc726e4aef5787b1fcd0)
@@ -86,5 +86,5 @@
 	uptime->seconds1 = 0;
 	uptime->seconds2 = 0;
-	uptime->useconds = 0; 
+	uptime->useconds = 0;
 
 	clock_parea.pbase = (uintptr_t) faddr;