modified worker thread's scheduling for xenomai