2.6.35-1 kernel/sched.c:616 invoked rcu_dereference_check() without protection