xenomai now automatically locks application memory; skins don't need to have the option passed to them during user space compile