Add 3.5.3 xenomai configs; rename 2.6.38.8 configs