Andreas, can you try booting with intel_iommu=off kernel parameter? I think you hit another issue in 3.2, or try the newer 3.2.2 build from http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.2.2-precise/, which should have intel_iommu disabled by default.
Andreas, can you try booting with intel_iommu=off kernel parameter? I think you hit another issue in 3.2, or try the newer 3.2.2 build from http:// kernel. ubuntu. com/~kernel- ppa/mainline/ v3.2.2- precise/, which should have intel_iommu disabled by default.