Hello!
> Could somebody who's got a 3100 please try the following, both
> with a raster-graphics console at boot and with X11?
I did try the patch, and at least it did fix the problem for the console.
Unfortunatly I was not able to install X11 yet (look at a different
mail from me about that).
Greets
Thorsten