Also it's very strange, that the display is only working, if we use maximum 19,2 MHz clock. For higher clock rates there is no display on both types of hardware.
Is this related to the EW grahics system or the used RGBA8888 format?
There is no difference, when I switch double buffering on or off.