Comsetic updates to comments, debug output

arch/arm/src/armv7-a/arm_addrenv.c

@@ -631,7 +631,9 @@ int up_addrenv_vtext(FAR group_addrenv_t *addrenv, FAR void **vtext)
 int up_addrenv_vdata(FAR group_addrenv_t *addrenv, uintptr_t textsize,
                      FAR void **vdata)
 {
-  bvdbg("return=%p\n", (FAR void *)CONFIG_ARCH_DATA_VBASE);
+  bvdbg("return=%p\n",
+        (FAR void *)(CONFIG_ARCH_DATA_VBASE + ARCH_DATA_RESERVE_SIZE));
+
   /* Not much to do in this case */
 
   DEBUGASSERT(addrenv && vdata);

arch/arm/src/armv7-a/arm_fullcontextrestore.S

@@ -116,7 +116,7 @@ up_fullcontextrestore:
 
 #ifdef CONFIG_BUILD_KERNEL
 	/* For the kernel build, we need to be able to transition gracefully
-	 * between kernel- and user-mode tasks.  We have to do that with a system
+	 * between kernel- and user-mode tasks.  Here we do that with a system
 	 * call; the system call will execute in kernel mode and but can return
 	 * to either user or kernel mode.
 	 */