sched.c: fix kernel-doc for runqueue_is_locked()