ppc/pnv: Fix PSI IRQ definition