We believe we found the root cause and I've uploaded a test kernel that will fix the issue. You can download the test kernel here:
http://people.canonical.com/~henrix/lp1087622/ There are 2 versions, one for amd64 (64bits) and other for i386 (32bits). Please give it a try to see if it solves the problem and, if possible, report back with a dmesg. Remember to install, at least, the linux-image-* and the linux-image-extra-* packages. Thanks. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1087622 Title: Linux kernel 3.5.0-20 won't boot [unable to handle kernel paging request at f91fe4fc in trace_event_raw_init+0xb/0x20] To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1087622/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
