Can you please have a look at this patch and let us know about any comments / objections? We identified a problem with IPI on the recent FSL eOpenPIC, description in the patch: http://people.freebsd.org/~raj/patches/powerpc/openpic.diff Rafal