--- kernel/nv.c	2010-11-29 07:38:34.000000000 +0100
+++ kernel/nv.c	2010-12-04 20:34:54.000000000 +0100
@@ -1802,6 +1802,7 @@
             }
             release_mem_region(NV_PCI_RESOURCE_START(dev, NV_GPU_BAR_INDEX_REGS),
                                NV_PCI_RESOURCE_SIZE(dev, NV_GPU_BAR_INDEX_REGS));
+            pci_disable_device(dev);
         }
     }