depend on Linux

target/config/Config.in.kernelcfg

@@ -3,6 +3,7 @@
 
 choice 
 prompt "Kernel configuration" if !ADK_TARGET_CHOOSE_ARCH
+depends on ADK_TARGET_OS_LINUX
 
 config ADK_TARGET_KERNEL_USE_MINICONFIG
 	bool "Use mini.config from OpenADK"