fix: paging with higher half kernel

src/kernel.c

@@ -1,3 +1,4 @@
+#include "alloc.h"
 #include "drivers.h"
 #include "gdt.h"
 #include "idt.h"
@@ -33,5 +34,7 @@ void kernel_main(void)
 	        "I see no way to confuse an array of 256 seg:off pairs with a "
 	        "complex 8*unknown quantity -byte descriptor table. -- Troy "
 	        "Martin 03:50, 22 March 2009 (UTC)\n");
+	while (!kmalloc(10))
+		;
 	shell_init();
 }