Index: kernel/arch/amd64/src/kseg.c
===================================================================
--- kernel/arch/amd64/src/kseg.c	(revision c5429fedb8216659204bbbdba42d7f5a845e4dda)
+++ kernel/arch/amd64/src/kseg.c	(revision aafed151536405cdb1390b88b7e4ac7c285dd53e)
@@ -37,5 +37,5 @@
 #include <panic.h>
 #include <arch/kseg_struct.h>
-#include <mm/slab.h>
+#include <stdlib.h>
 
 /**