fix target Xenomai missing functions

2017-07-05, wuyangtang