Replaced regular Linux timers with Xenomai timers