diff --git a/config/Config-build.in b/config/Config-build.in
index d5e183926d..f3f1930bb8 100644
--- a/config/Config-build.in
+++ b/config/Config-build.in
@@ -83,10 +83,12 @@ menu "Global build settings"
 		  Useful for release builds, so that kernel issues can be debugged offline
 		  later.
 
-	comment "Kernel build options"
+	menu "Kernel build options"
 
 	source "config/Config-kernel.in"
 
+	endmenu
+
 	comment "Package build options"
 
 	config DEBUG