diff --git a/Kconfig b/Kconfig
index 1a132f90e4..34f17eb943 100644
--- a/Kconfig
+++ b/Kconfig
@@ -432,6 +432,8 @@ config EXAMPLES
 
 endmenu		# General setup
 
+menu "Boot options"
+
 menu "Boot images"
 
 config ANDROID_BOOT_IMAGE
@@ -769,6 +771,8 @@ config ARCH_FIXUP_FDT_MEMORY
 
 endmenu		# Boot images
 
+endmenu		# Booting
+
 source "api/Kconfig"
 
 source "common/Kconfig"