Fix a scheduling bug Fixes: - Trivial bug where in some special cases a task could be started on the wrong core (and would run there for max 1 tick) - More major bug causing a yield to be done with a mux held. See merge request !523