Cleanup

kernel/src/gdt.c

@@ -1,3 +1,5 @@
+#include "paging.h"
+#include "pmm.h"
 #include <kernel.h>
 #include <string.h>
 #include <gdt.h>

kernel/src/kernel.c

@@ -1,4 +1,5 @@
 #include <bootloader.h>
+#include <kmalloc.h>
 #include <paging.h>
 #include <serial.h>
 #include <splash.h>