Index: /trunk/src/VBox/VMM/Config.kmk
===================================================================
--- /trunk/src/VBox/VMM/Config.kmk	(revision 73593)
+++ /trunk/src/VBox/VMM/Config.kmk	(revision 73594)
@@ -35,4 +35,7 @@
 ifdef VBOX_WITH_NESTED_HWVIRT_SVM
  VMM_COMMON_DEFS += VBOX_WITH_NESTED_HWVIRT_SVM
+endif
+ifdef VBOX_WITH_NESTED_HWVIRT_VMX
+ VMM_COMMON_DEFS += VBOX_WITH_NESTED_HWVIRT_VMX
 endif
 ifdef VBOX_WITH_NESTED_HWVIRT_ONLY_IN_IEM