Index: /trunk/src/VBox/HostDrivers/Support/linux/Makefile
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/linux/Makefile	(revision 13714)
+++ /trunk/src/VBox/HostDrivers/Support/linux/Makefile	(revision 13715)
@@ -68,5 +68,5 @@
 
 # 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