bug about rcu_sched still exists