Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 228666c006a3414de772f08f77335c546dd21aab)
+++ kernel/generic/src/proc/scheduler.c	(revision 3a10e34b6c5c24ae1148df0041d9600c5fd9b764)
@@ -315,4 +315,5 @@
 		/* Update thread accounting */
 		THREAD->cycles += get_cycle() - THREAD->last_cycle;
+		THREAD->kcycles += get_cycle() - THREAD->last_cycle;
 		
 #ifndef CONFIG_FPU_LAZY