rosrt: make xenomai really optional