fix splash loading with wx3.0

Previously only gray square was shown. Apparently to show splash screen several calls of wx.Yield() are necessary.
Unfortunately splash.IsShowOnScreen() returns always 1 regardless of whether splash is on the screen or not.
this fix is a dirty hack. It just process all events after splash is created during 0.3 seconds.

     1

     2

                  <xsd:element name="Xenomai">

     3

                    <xsd:complexType>

     4

                      %(toolchain_gcc)s

     5

                      <xsd:attribute name="XenoConfig" type="xsd:string" use="optional" default="xeno-config"/>

     6

                    </xsd:complexType>

     7

                  </xsd:element>