diff -Nru VirtualBox-4.1.8_OSE.orig/configure VirtualBox-4.1.8_OSE/configure
--- VirtualBox-4.1.8_OSE.orig/configure	2012-05-24 10:45:09.102915885 +0000
+++ VirtualBox-4.1.8_OSE/configure	2012-05-24 10:44:58.926034932 +0000
@@ -2600,7 +2600,6 @@
   fi
   check_libcap
   check_compiler_h
-  [ "$BUILD_MACHINE" = "amd64" -a $WITH_VMMRAW -eq 1 ] && check_32bit
   # tools/common/makeself*
   [ $OSE -ge 1 ] && check_makeself
 fi