kernel/sched: Re-add IPI calls on k_wakeup() and k_thread_priority_set()

These got dropped by an earlier patch, but are required on SMP systems
so synchronously notify other CPUs of changed scheduler state.

Signed-off-by: Andy Ross <andrew.j.ross@intel.com>
1 file changed