Re: [PATCH v3 1/2] sched: fix init NOHZ_IDLE flag