Add address environment support to ALL implementatins of up_release_pending()

arch/rgmp/src/nuttx.c

@@ -376,7 +376,15 @@ void up_release_pending(void)
     if (sched_mergepending()) {
         /* The currently active task has changed! */
         struct tcb_s *nexttcb = (struct tcb_s*)g_readytorun.head;
+#ifdef CONFIG_ARCH_ADDRENV
+        /* Make sure that the address environment for the previously
+         * running task is closed down gracefully (data caches dump,
+         * MMU flushed) and set up the address environment for the new
+         * thread at the head of the ready-to-run list.
+         */
 
+        (void)group_addrenv(nexttcb);
+#endif
         // context switch
         up_switchcontext(rtcb, nexttcb);
     }