Adjusting kernel builds and adding linux34 xenomai
remove documentation prereqs as experimint