In this case thread_sched_switch0 never returns, so we would never
end up setting finished to true.

Fixes [Bug #20638]