More canonical test.
There is an exception happening around here in some cases when connection is dropped while waiting for answer. Not sure that this fixes it but this is anyhow better.
<xsd:element name="Xenomai">
<xsd:complexType>
%(toolchain_gcc)s
<xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>
</xsd:complexType>
</xsd:element>