@@ -105,10 +105,4 @@ config ADK_HOST_CYGWIN
endchoice
-config ADK_64BIT_KERNEL
- prompt "Build a 64bit Kernel"
- boolean
- default n
- depends on ADK_TARGET_KERNEL_MAY_64BIT
-
endmenu