The PPC IRQ layer assumes that the IPI IRQ is the last IRQ on the PIC.

This assumption is invalid and the code should be fixed, but humor it for
now and set the "IPI" for PS3s in the non-SMP case to a large number. This
fixes boot with a non-SMP kernel.

Submitted by:	geoffrey dot levand at mail dot ru
MFC after:	1 week

sys/powerpc/ps3/ps3pic.c

@@ -142,6 +142,8 @@ ps3pic_attach(device_t dev)
 	lv1_construct_event_receive_port(&sc->sc_ipi_outlet[1]);
 	lv1_connect_irq_plug_ext(ppe, !thread, sc->sc_ipi_outlet[0],
 	    sc->sc_ipi_outlet[1], 0);
+#else
+	sc->sc_ipi_outlet[0] = sc->sc_ipi_outlet[1] = 63;
 #endif
 
 	powerpc_register_pic(dev, 0, sc->sc_ipi_outlet[0], 1, FALSE);