Synchronize_rcu() and synchronize_sched() in _cpu_down path