Index: kernel/arch/amd64/src/kseg.c
===================================================================
--- kernel/arch/amd64/src/kseg.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/amd64/src/kseg.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
@@ -37,5 +37,5 @@
 #include <panic.h>
 #include <arch/kseg_struct.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /**
Index: kernel/arch/amd64/src/pm.c
===================================================================
--- kernel/arch/amd64/src/pm.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/amd64/src/pm.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
@@ -40,5 +40,5 @@
 #include <mm/frame.h>
 #include <mem.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /*
Index: kernel/arch/amd64/src/proc/task.c
===================================================================
--- kernel/arch/amd64/src/proc/task.c	(revision 95d45482754feecb799113e94c59c7c41e44b029)
+++ kernel/arch/amd64/src/proc/task.c	(revision 45c8eea59f6dced36c60fa4742c6087a34cd81bd)
@@ -36,5 +36,5 @@
 #include <stddef.h>
 #include <adt/bitmap.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /** Perform amd64 specific task initialization.