core: sched_switch only switch for higher priority

sched_switch() is called by some library functions when a call unblocks
another thread. Then it need to be tested if the current thread should
yield for the newly runnable thread.

A non-volutarily yield should only happen if the unblocked thread has a
_higher_ priority than the current thread. The current implementation,
which tests if the other thread has the same or a higher priority, does
not fit the documentation.