[issue1264] Xserver does not start on X31 and recent HEAD

[Jost Tobias Springenberg]

Can be closed ...
After building a kernel with HEAD as of yesterday the problem is gone.
One of the commits after 20 of Jan must have fixed it :)