Reflect xenomai3 fix in beremiz. Match beremiz changeset 9fa2f8ede5d6
revamp
2018-05-07, Edouard Tisserant