@ckolivas
ckolivas Fix wake_cpu not being set on running tasks that have sched_setaffini…
4e4a1b2 Jul 13, 2018
Fix wake_cpu not being set on running tasks that have sched_setaffini… 
…ty called on them. Debugging and patch courtesy of Gottschlag, Mathias.
4e4a1b2