Ok, I tested two things. 1. The kernel from comment #2 works. 2. Upgrading to the latest BIOS provided by DELL (A08, from A03) doesn't work with the old kernel.
So: Kernel from #2 works with BIOS A03 and A08, stock Maverick kernel doesn't work with both BIOSs. Should I a) communicate this upstream, b) file a bug at DELL? Thanks for the realtime solution. :) g -- Kernel Oops with Maverick in ahci_stop_engine https://bugs.launchpad.net/bugs/658560 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
