rcu: Better explain the condition parameter of rcu_dereference_check()