https://bugs.freedesktop.org/show_bug.cgi?id=66963
--- Comment #159 from Paul Bodenbenner paul.bodenbenner@gmail.com --- Last two attachments show the output of dmesg. I described previously that I have next to the general boot problem also troubles after boot that the GUI is really slow. Hope that helps a bit!