OK, so 712 can't make 16bpp. I put 8 bpp on XF86Config-4 and it worked. Now the login screen appears for a second and then GNOME crashes. Mmmm... it looks exactly the same problem Manfred Metzger is having...