[PATCH] defxx: Use irqreturn_t for the interrupt handler