powerpc/pmi: Irq handlers return irqreturn_t