Changed the behavior of IRQ events so that they do not queue; if they
are missed, then nothing happens.