libc: update kernel library references

lib/libc/pthread/thread/pthread.h

@@ -1,7 +1,7 @@
 #ifndef _THREAD_PTHREAD_H_
 #define _THREAD_PTHREAD_H_
 
-#include <mango/types.h>
+#include <magenta/types.h>
 
 enum pthread_flags {
 	THREAD_DETACHED = 0x01u,

lib/libc/pthread/thread/pthread_create.c

@@ -1,8 +1,8 @@
 #include "pthread.h"
 
 #include <errno.h>
-#include <mango/status.h>
-#include <mango/task.h>
+#include <magenta/status.h>
+#include <magenta/task.h>
 #include <pthread.h>
 #include <string.h>
 #include <sys/mman.h>

lib/libc/pthread/thread/pthread_detach.c

@@ -1,10 +1,10 @@
 #include "pthread.h"
 
 #include <errno.h>
-#include <mango/handle.h>
-#include <mango/object.h>
-#include <mango/signal.h>
-#include <mango/task.h>
+#include <magenta/handle.h>
+#include <magenta/object.h>
+#include <magenta/signal.h>
+#include <magenta/task.h>
 #include <pthread.h>
 #include <sys/mman.h>
 

lib/libc/pthread/thread/pthread_exit.c

@@ -1,7 +1,7 @@
 #include "pthread.h"
 
-#include <mango/handle.h>
-#include <mango/task.h>
+#include <magenta/handle.h>
+#include <magenta/task.h>
 #include <pthread.h>
 #include <stdlib.h>
 

lib/libc/pthread/thread/pthread_join.c

@@ -1,10 +1,10 @@
 #include "pthread.h"
 
 #include <errno.h>
-#include <mango/handle.h>
-#include <mango/object.h>
-#include <mango/signal.h>
-#include <mango/task.h>
+#include <magenta/handle.h>
+#include <magenta/object.h>
+#include <magenta/signal.h>
+#include <magenta/task.h>
 #include <pthread.h>
 #include <sys/mman.h>
 

lib/libc/pthread/thread/pthread_self.c

@@ -1,7 +1,7 @@
 #include "pthread.h"
 
-#include <mango/task.h>
-#include <mango/types.h>
+#include <magenta/task.h>
+#include <magenta/types.h>
 #include <string.h>
 #include <sys/mman.h>