replace Linux timer with realtime timer - avoid mode switch in Xenomai