some cleanup from debugging and todos

kernel/arch/gdt/gdt_entry.c

@@ -67,7 +67,7 @@ void gdt_init(void)
 	//gdt[4] = create_descriptor(0, 0x000FFFFF, (GDT_DATA_PL3)); // user data
 
 	setGdt((sizeof(uint64_t) * GDT_SIZE) - 1, &(gdt[0])); // limit, base
-	//reloadSegments();
+	reloadSegments();
 #ifdef __TESTING__
 	kinfo("Initialized the GDT");
 	dump_gdt();