Add new config for kernel 3.8.13 with xenomai 2.6.3 (scnd).