Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/generic/src/main/kinit.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -72,4 +72,5 @@
 #include <sysinfo/sysinfo.h>
 #include <align.h>
+#include <stdlib.h>
 
 #ifdef CONFIG_SMP
Index: kernel/generic/src/main/uinit.c
===================================================================
--- kernel/generic/src/main/uinit.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/generic/src/main/uinit.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -45,5 +45,5 @@
 #include <proc/thread.h>
 #include <userspace.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <arch.h>
 #include <udebug/udebug.h>