Comment 16 for bug 615803

Yes, I expected this. So this is definitively a kernel bug, reassigning. As a workaround, you can use the "nomodeset" boot option for now.

Thanks for debugging! The kernel team will most likely have more questions/tests for you, though.