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