removed fluff prints

kernel.c

@@ -6,9 +6,7 @@
 #include "gdt.h"
 
 void kinit() {
-	printf("setting up gdt\n");
 	gdt_configure();
-	printf("setting idt\n");
 	init_idt();
 	test_dispatcher();
 }