Fix xenomai i686 config to be like x86_64