Xenomai runtime: fixed bugs introduced in e3db472b0dfb (RT->nRT wakeup) + other small typos
svghmi
2021-08-24, Edouard Tisserant