diff --git a/kernel/sched.c b/kernel/sched.c
index 3454bb869fd068c070e8fbf219e981018305df99..e82c99f1db64328e3a7e1e2bda8aa22de0a9b537 100644
--- a/kernel/sched.c
+++ b/kernel/sched.c
@@ -4335,6 +4335,7 @@ void __devinit init_idle(task_t *idle, int cpu)
 	runqueue_t *rq = cpu_rq(cpu);
 	unsigned long flags;
 
+	idle->timestamp = sched_clock();
 	idle->sleep_avg = 0;
 	idle->array = NULL;
 	idle->prio = MAX_PRIO;