Update xenomai to pull directly from git instead of using pre-baked patch set
ipipe patch comes from ipipe-3.8 branch
xeonmai 2.6 comes from master

Signed-off-by: Charles Steinkuehler <charles@steinkuehler.net>