SCHED_TTWU_QUEUE is not longer needed since sparc32 now implements IPI