--- a/hotspot/src/share/tools/ProjectCreator/WinGammaPlatform.java	Mon Mar 25 08:37:28 2013 -0400
+++ b/hotspot/src/share/tools/ProjectCreator/WinGammaPlatform.java	Tue Mar 26 14:11:21 2013 -0400
@@ -564,12 +564,6 @@
         allConfigs.add(new CoreFastDebugConfig());
         allConfigs.add(new CoreProductConfig());
 
-        if (platform.equals("Win32")) {
-            allConfigs.add(new KernelDebugConfig());
-            allConfigs.add(new KernelFastDebugConfig());
-            allConfigs.add(new KernelProductConfig());
-        }
-
         return allConfigs;
     }