Context switch: works on board; mutex remain