usched_bsd4 - use wakeup_mycpu as appropriate