Xenomai build now ignores xeno-config if not set

2011-11-16, Edouard Tisserant