Thomas Koeller points out that we're always returning IRQ_HANDLED
from our interrupt handler, even if we find no interrupt work to
be done.