beremiz

fix target Xenomai missing functions

2017-07-05, wuyangtang
a86deec92e08
fix target Xenomai missing functions
C extension