fixed debug with xenomai, fixed unprotected access to ___debug_tick

2011-09-26, Edouard Tisserant