Index: /trunk/Config.kmk
===================================================================
--- /trunk/Config.kmk	(revision 42251)
+++ /trunk/Config.kmk	(revision 42252)
@@ -2868,8 +2868,5 @@
   TEMPLATE_VBoxRc_CFLAGS             = $(TEMPLATE_VBoxRc_CXXFLAGS)
   TEMPLATE_VBoxRc_LDFLAGS            = -Driver -Subsystem:NATIVE -Incremental:NO -Align:64 -MapInfo:Exports -NoD $(VBOX_VCC_LD_WERR) -Debug
-  ifdef VBOX_USE_WINDDK
-   ifndef VBOX_NOINC_MISC
-    include $(KBUILD_PATH)/sdks/$(VBOX_WINDDK).kmk
-   endif
+  ifdef VBOX_USE_VCC100
    TEMPLATE_VBoxRc_LIBS               = \
    	$(PATH_SDK_$(VBOX_WINDDK)_LIB.x86)/int64.lib
@@ -3024,5 +3021,5 @@
 TEMPLATE_VBoxR0_LIBS                = \
 	$(PATH_STAGE_LIB)/RuntimeR0Stub$(VBOX_SUFF_LIB)
- ifdef VBOX_USE_WINDDK
+ ifdef VBOX_USE_VCC100
   include $(KBUILD_PATH)/sdks/$(VBOX_WINDDK).kmk ## TODO: Add a kBuild feature for loading SDKs.
 TEMPLATE_VBoxR0_LIBS.x86            = \