Latest configs based on kernel 3.5.7

These match the kernel version for the forthcoming Xenomai 2.6.2.1
re-release, and compared to the 3.5.3 configs, contain bugfixes, and
are based on Gilles's configs.