A bit of cleaning

src/idt/idt.c

@@ -12,6 +12,7 @@
 #include <kernel.h>
 #include <stdbool.h>
 #include "sched/scheduler.h"
+#include "config.h"
 
 struct interrupt_descriptor idt[256];
 struct idtr idt_reg;
@@ -191,8 +192,7 @@ struct cpu_status_t* interrupt_dispatch(struct cpu_status_t* context)
             DEBUG("Control Protection Exception!");
             break;
 
-        case 32:
-            //DEBUG("Timer Interrupt");
+        case 32: // Timer Interrupt
             ticks++;
 
             if (ticks % SCHEDULER_QUANTUM == 0)