5a1a8b4637
Fix bug waking a task on CPU1 when scheduler is disabled See merge request !819
Fix bug waking a task on CPU1 when scheduler is disabled See merge request !819