src/core/workers.c: fix #16728 by not destroying mutexes too early (i.e when drivers are still running)

src/core/workers.c

@@ -1529,8 +1529,6 @@ void starpu_shutdown(void)
 	starpu_profiling_bus_helper_display_summary();
 	starpu_profiling_worker_helper_display_summary();
 
-	_starpu_profiling_terminate();
-
 	_starpu_deinitialize_registered_performance_models();
 
 	_starpu_watchdog_shutdown();
@@ -1553,6 +1551,8 @@ void starpu_shutdown(void)
 	for (worker = 0; worker < config.topology.nworkers; worker++)
 		_starpu_worker_deinit(&config.workers[worker]);
 
+	_starpu_profiling_terminate();
+
 	_starpu_disk_unregister();
 #ifdef STARPU_HAVE_HWLOC
 	starpu_tree_free(config.topology.tree);