Index: /trunk/src/VBox/HostDrivers/Support/Makefile.kmk
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/Makefile.kmk	(revision 43379)
+++ /trunk/src/VBox/HostDrivers/Support/Makefile.kmk	(revision 43380)
@@ -267,5 +267,5 @@
  endif
  #VBoxDrv_DEFS.debug      += DEBUG_DARWIN_GIP
- #VBoxDrv_DEFS.darwin     := VBOX_WITH_HOST_VMX
+ VBoxDrv_DEFS.darwin     := VBOX_WITH_HOST_VMX
  VBoxDrv_DEFS.linux      := \
 	KBUILD_MODNAME=KBUILD_STR\(vboxdrv\) KBUILD_BASENAME=KBUILD_STR\(vboxdrv\) MODULE CONFIG_VBOXDRV_AS_MISC