diff --git a/arch/x86/bsp/Kconfig b/arch/x86/bsp/Kconfig
index 0bffc2ae787..3559222af49 100644
--- a/arch/x86/bsp/Kconfig
+++ b/arch/x86/bsp/Kconfig
@@ -235,8 +235,6 @@ config ADVANCED_IDLE_SUPPORTED
 
 endmenu
 
-menu "Boot Sequence Options"
-
 config BOOTLOADER_UNKNOWN
 	bool
 	default n
@@ -246,6 +244,9 @@ config BOOTLOADER_UNKNOWN
 	at build time which method is to be used. When this option is enabled
 	the BSP may have to do extra work to ensure a propert startup.
 
+menu "Boot Sequence Options"
+depends on PROT_MODE_SWITCH_PROMPT
+
 config PROT_MODE_SWITCH
 	bool
 	prompt "Switch to 32-bit protected mode when booting"