kernel: Move thread retrieving code to separate function
kernel: Fix style issues
kernel: Remove Thread::next_priority
kernel: Minor improvements, separate priority and yield logic
kernel: Support sched_yield() properly

sched_yield() should not yield to the threads with lower priority.
kernel: Use SimpleRunQueue as run queue type everywhere
kernel: Dump scheduler specific thread data
kernel: Remove suporfluous casts