@ckolivas
ckolivas Fix wake_cpu not being set on running tasks that have sched_setaffini…
a139488 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.
a139488