the updated cpustop_restartfunc is seen when the BSP resumes execution. This matches the membar already present in restart_cpus().
the updated cpustop_restartfunc is seen when the BSP resumes execution. This matches the membar already present in restart_cpus().