This issue appears to be an upstream bug, since you tested the latest upstream kernel and it still requires the nosmp option. Would it be possible for you to open an upstream bug report[0]? That will allow the upstream Developers to examine the issue as well, and may provide a quicker resolution to the bug.
Please follow the instructions on the wiki page[0]. The first step is to email the appropriate mailing list. If no response is received, then a bug may be opened on bugzilla.kernel.org. [0] https://wiki.ubuntu.com/Bugs/Upstream/kernel -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1213795 Title: newer kernels (3.10+) don't boot on MacBook Air 6.1 To manage notifications about this bug go to: https://bugs.launchpad.net/linux/+bug/1213795/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
