Comment 17 for bug 901386

Looks like I have to back off the "without issue" in my previous statement. I just noticed that the USB3.0 devices attached to my Marvel 88SE91xx adapter are not being seen when I use this workaround. Of course, at this point I'm assuming it's caused by the work around and not an entirely separate bug in 3.2.0-6... so take that for what it's worth.

I had to completely power-down/power-on and boot back to the mainline rc4 kernel (the only 3.2 kernel that's not had this nvidia issue for me) in order to get the USB3 devices seen again (that is to say: just warm-rebooting and choosing the old kernel from grub didn't work - had to completely power down the motherboard before they could again be seen).

I also tried using intel_iommu=igfx_off, but the kernel still fails to load the nVidia drivers in manner described in the original bug when doing that.