Kernel: IDT now sends EOI for every interrupt

EOI is sent before calling the interrupt handler. This should be fine
since all interrupts are processed with interrupts disabled

kernel/kernel/Scheduler.cpp

@@ -69,9 +69,6 @@ namespace Kernel
 	{
 		VERIFY_CLI();
 
-		ASSERT(InterruptController::get().is_in_service(PIT_IRQ));
-		InterruptController::get().eoi(PIT_IRQ);
-
 		wake_threads();
 
 		if (save_current_thread())