The Debian bug #704933: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=704933 might be the same bug. It has a fix.
It is caused by the "fbcon locking fixes" patch. http://lists.freedesktop.org/archives/dri-devel/2013-January/033976.html ** Bug watch added: Debian Bug tracker #704933 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=704933 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1167114 Title: Ubuntu Kernel 3.5.0-27 does not boot To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1167114/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs