fix: irqs are handled correctly with regs->int_no (and the keyboard handler works)

src/kernel.c

@@ -28,8 +28,8 @@ void kernel_main(void)
 	init_gdt();
 	init_idt();
 	init_memory();
-	/* load_drivers(); */
-	/* while (42) */
-	/* 	; */
-	shell_init();
+	load_drivers();
+	while (42)
+		;
+	/* shell_init(); */
 }