Avoid needless TLB flush when restarting kthreads