Merge commit 'ba9025ce' into kraken * commit 'ba9025ce': Optimize set_sched_policy(), which gets called in every binder call.