I applied the latest v3.10 kernel that you linked to in comment #4. That appears to fix the kernel oops problem.
I was able to run the command: echo 0000:01:00.0 > /sys/bus/pci/devices/0000:01:00.0/driver/unbind Without a kernel Oops problem. So I believe the problem is fixed upstream. kernel-fixed-upstream What are my options? Do you recommend using the upstream kernel from now on or will this fix be ported back? ** Changed in: linux (Ubuntu) Status: Incomplete => Confirmed ** Tags added: kernel-fixed-upstream -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1190120 Title: Kernel Oops - unable to handle kernel NULL pointer dereference; after unbind of a PCI device To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1190120/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs