i8259: Update IRQ state after reset