Move and update defconfig file.
In the previous location, the updated Xenomai defconfig was ignored and default one is used. Moving the file fixes the issue.