Al's comment fixes

kernel/main.c

@@ -59,7 +59,7 @@ PUBLIC void main()
 	ppriv_addr[i] = sp;			/* priv ptr from number */
   }
 
-  /* Set up proc table entries for tasks and servers.  The stacks of the
+  /* Set up proc table entries for processes in boot image.  The stacks of the
    * kernel tasks are initialized to an array in data space.  The stacks
    * of the servers have been added to the data segment by the monitor, so
    * the stack pointer is set to the end of the data segment.  All the

kernel/table.c

@@ -73,7 +73,7 @@ PUBLIC char *t_stack[TOT_STACK_SPACE / sizeof(char *)];
 
 /* Define kernel calls that processes are allowed to make. This is not looking
  * very nice, but we need to define the access rights on a per call basis. 
- * Note that the system services manager has all bits on, because it should
+ * Note that the reincarnation server has all bits on, because it should
  * be allowed to distribute rights to services that it starts. 
  */
 #define c(n)	(1 << ((n)-KERNEL_CALL))