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 Kernel Packages, which is subscribed to linux in Ubuntu. https://bugs.launchpad.net/bugs/1213795 Title: newer kernels (3.10+) don't boot on MacBook Air 6.1 Status in The Linux Kernel: Unknown Status in “linux” package in Ubuntu: Confirmed Status in “linux” source package in Saucy: Confirmed Bug description: The current raring kernel boots (with nosmp and libata.force=noncq), newer kernels don't boot at all. They hang with ramdisk loading and nothing seems to happen. This is difficult to debug, as it happens so early in the boot. ProblemType: Bug DistroRelease: Ubuntu 13.04 Package: linux-image-3.8.0-27-generic 3.8.0-27.40 ProcVersionSignature: Ubuntu 3.8.0-27.40-generic 3.8.13.4 Uname: Linux 3.8.0-27-generic x86_64 NonfreeKernelModules: wl ApportVersion: 2.9.2-0ubuntu8.3 Architecture: amd64 AudioDevicesInUse: USER PID ACCESS COMMAND /dev/snd/controlC1: miek 1872 F.... pulseaudio Date: Sun Aug 18 22:49:05 2013 HibernationDevice: RESUME=UUID=f4250ce4-23bc-413f-9a97-205cd9ca67e5 InstallationDate: Installed on 2013-08-19 (0 days ago) InstallationMedia: Ubuntu 13.04 "Raring Ringtail" - Release amd64+mac (20130424) Lsusb: Bus 001 Device 002: ID 0a5c:4500 Broadcom Corp. BCM2046B1 USB 2.0 Hub (part of BCM2046 Bluetooth) Bus 001 Device 003: ID 05ac:0290 Apple, Inc. Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub Bus 002 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub Bus 001 Device 006: ID 05ac:828f Apple, Inc. MachineType: Apple Inc. MacBookAir6,1 MarkForUpload: True ProcFB: 0 inteldrmfb ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.8.0-27-generic root=UUID=003d813a-5ee5-40bc-a81f-dbed66aaf939 ro nosmp libata.force=noncq quiet splash vt.handoff=7 RelatedPackageVersions: linux-restricted-modules-3.8.0-27-generic N/A linux-backports-modules-3.8.0-27-generic N/A linux-firmware 1.106 SourcePackage: linux UpgradeStatus: No upgrade log present (probably fresh install) dmi.bios.date: 05/24/2013 dmi.bios.vendor: Apple Inc. dmi.bios.version: MBA61.88Z.0099.B00.1305241529 dmi.board.asset.tag: Base Board Asset Tag# dmi.board.name: Mac-35C1E88140C3E6CF dmi.board.vendor: Apple Inc. dmi.board.version: MacBookAir6,1 dmi.chassis.type: 10 dmi.chassis.vendor: Apple Inc. dmi.chassis.version: Mac-35C1E88140C3E6CF dmi.modalias: dmi:bvnAppleInc.:bvrMBA61.88Z.0099.B00.1305241529:bd05/24/2013:svnAppleInc.:pnMacBookAir6,1:pvr1.0:rvnAppleInc.:rnMac-35C1E88140C3E6CF:rvrMacBookAir6,1:cvnAppleInc.:ct10:cvrMac-35C1E88140C3E6CF: dmi.product.name: MacBookAir6,1 dmi.product.version: 1.0 dmi.sys.vendor: Apple Inc. To manage notifications about this bug go to: https://bugs.launchpad.net/linux/+bug/1213795/+subscriptions -- Mailing list: https://launchpad.net/~kernel-packages Post to : kernel-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~kernel-packages More help : https://help.launchpad.net/ListHelp