Fix write_acknowledged_interrupts