--- vboxdrv/Makefile.orig	2009-02-25 01:22:57.626074529 +0100
+++ vboxdrv/Makefile	2009-02-25 01:23:36.419076205 +0100
@@ -67,7 +67,7 @@
 endif
 
 # use vm_insert_page() API (if available) to map kernel pages to userland - better debugging 
-# VBOX_USE_INSERT_PAGE = 1
+VBOX_USE_INSERT_PAGE = 1
 
 # override is required by the Debian guys
 override MODULE = vboxdrv