Scheduler returns to IDLE when.. idle.

src/idt/idt.c

@@ -52,8 +52,7 @@ void idt_load(void* idt_addr)
 
 void idt_init()
 {
-    // We set 256 entries, but we have only the first few stubs.
-    // Undefined behavior?
+    // Hardcoded...
     for (size_t i=0; i<=33; i++)
     {
         // Each vector handler is 16-byte aligned, so <vector_no>*16 = address of that handler