Replace os_internal.h with sched/sched.h in files that actually reference something in sched.h

arch/rgmp/src/nuttx.c

@@ -54,7 +54,7 @@
 #include <arch/arch.h>
 
 #include "task/task.h"
-#include "os_internal.h"
+#include "sched/sched.h"
 
 struct tcb_s *current_task = NULL;
 

arch/rgmp/src/rgmp.c

@@ -52,7 +52,7 @@
 #include <queue.h>
 #include <stdlib.h>
 #include <arch/arch.h>
-#include <os_internal.h>
+#include <sched/sched.h>
 
 int nest_irq = 0;