Index: kernel/arch/ia32/src/pm.c
===================================================================
--- kernel/arch/ia32/src/pm.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/ia32/src/pm.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -43,5 +43,5 @@
 #include <mm/km.h>
 #include <mm/frame.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <mem.h>
 #include <arch/boot/boot.h>
Index: kernel/arch/ia32/src/proc/task.c
===================================================================
--- kernel/arch/ia32/src/proc/task.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/ia32/src/proc/task.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -36,5 +36,5 @@
 #include <stddef.h>
 #include <adt/bitmap.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Perform ia32 specific task initialization.
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 8e7a9f077ddd43ef98645bd15d910b08d0a85eaf)
@@ -51,5 +51,5 @@
 #include <mm/frame.h>
 #include <mm/km.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 #include <mm/as.h>
 #include <log.h>