Handling EOI in the interrupt handler to keep the interrupts flowing after a process switch