Minor comment fixes.

src/api/ipc.c

@@ -76,7 +76,7 @@ int ipc_extended_copy(struct ktcb *to, struct ktcb *from)
 
 	/*
 	 * Copy from sender's kernel stack buffer
-	 * to receiver's paged-in userspace buffer
+	 * to receiver's kernel stack buffer
 	 */
 	memcpy(to->extended_ipc_buffer,
 	       from->extended_ipc_buffer, size);

src/api/mutex.c

@@ -222,7 +222,8 @@ int mutex_control_unlock(unsigned long mutex_address)
 
 	/*
 	 * Found it, if it exists, there are waiters,
-	 * now wake all of them up in FIFO order
+	 * now wake all of them up in FIFO order.
+	 * FIXME: Make sure this is FIFO order. It doesn't seem so.
 	 */
 	wake_up(&mutex_queue->wqh_waiters, WAKEUP_ASYNC);