sparc32, sun4m: bugfix in SMP IPI traphandler