GitLab

This is the last step to get rid of the ugly lock, which was still
required for serializing accesses to the runqueue information.
Signed-off-by: Philippe Gerum <rpm@xenomai.org>