scheduler: Simplify thread priority penalties
scheduler: Improve debug commands
scheduler: Move simple inline functions to scheduler_common.h
scheduler: Update estimate_max_scheduling_latency()