Added Right Bus Xenomai driver support through RTDM IOCTLs. Othe minor fixes for MC9 build

2014-11-21, Edouard Tisserant