Task scheduler overhaul, now fully peemptible