Add sched_migrate_task() helper

This commit introduces a new helper, sched_migrate_task(), which migrates
a task between ready queues of different priority levels.

Author: vicLin8712

kernel/task.c

@@ -410,6 +410,27 @@ void sched_dequeue_task(tcb_t *task)
     return;
 }
 
+/* Task migration from origin to new priority ready queue */
+static void sched_migrate_task(tcb_t *task, int16_t priority)
+{
+    if (unlikely(!task || !is_valid_priority(priority)))
+        return;
+
+    if (task->prio == priority)
+        return;
+
+    /* Remove task node from origin ready queue */
+    sched_dequeue_task(task);
+
+    /* Update new properties */
+    task->prio = priority;
+    task->prio_level = extract_priority_level(priority);
+
+    /* Enqueue task node into  new priority ready queue*/
+    sched_enqueue_task(task);
+    return;
+}
+
 /* Handle time slice expiration for current task */
 void sched_tick_current_task(void)
 {