Embora eu não tenha ideia sobre o Xenomai, o pacote linux-patch-xenomai
inclui vários README
arquivos em /usr/share/doc/linux-patch-xenomai/
que podem ajudá-lo. (Pelo que entendi, você deve construir um novo kernel com patch, então qual kernel você está usando agora não importa muito).