RIOT-OS/RIOT — pull request #1693 by Kijewski (2014-09-23 05:14:27+00:00)
Title: core: sched_switch only switch for higher priority

sched_switch() is called when another thread was awakened to test if the
current thread should yield.

A thread should only yield for a thread of a higher priority.