Give 1 tick of CPU time to the idle task

kernel/src/thread/Scheduler.cpp

@@ -123,6 +123,7 @@ void Scheduler::task_yield(Context* context)
     if (original_task->task_sleep > 0)
     {
         sched_current_task = &idle_task;
+        sched_current_task->task_time = frequency;
         if (!was_idle) { set_context_from_task(*sched_current_task, context); }
         return;
     }