sched: fix exit_mm vs membarrier (v4)