Add new config for kernel 3.8.13 with xenomai 2.6.3.