Update osek_task.c