Fix pic_eoi() for slave PIC interrupts.