diff --git a/payloads/external/iPXE/Kconfig b/payloads/external/iPXE/Kconfig
index d425d51..aa8d92d 100644
--- a/payloads/external/iPXE/Kconfig
+++ b/payloads/external/iPXE/Kconfig
@@ -11,11 +11,17 @@
 ## GNU General Public License for more details.
 ##
 
-choice
+config PXE
 	prompt "Add a PXE ROM"
-	default PXE_ROM
+	def_bool n
 	depends on ARCH_X86
-	optional
+
+if PXE
+menu "PXE Options"
+
+choice
+	prompt "PXE ROM to use"
+	default PXE_ROM
 
 config PXE_ROM
 	bool "Add an existing PXE ROM image"
@@ -59,7 +65,6 @@
 
 config PXE_ROM_ID
 	string "network card PCI IDs"
-	depends on PXE_ROM || BUILD_IPXE
 	default "10ec,8168"
 	help
 	  The comma-separated PCI vendor and device ID that would associate
@@ -72,3 +77,6 @@
 	  network card (also in hex, without "0x" prefix).
 
 	  Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.
+
+endmenu
+endif