diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig
index 2257cb6c96..a90b04e440 100644
--- a/src/arch/x86/Kconfig
+++ b/src/arch/x86/Kconfig
@@ -155,6 +155,7 @@ config ID_SECTION_OFFSET
 
 config COMPILE_IN_DSDT
 	bool "compile in DSDT and use that over DSDT in CBFS"
+	depends on HAVE_ACPI_TABLES
 	default n
 
 # 64KiB default bootblock size when employing C_ENVIRONMENT_BOOTBLOCK.
diff --git a/src/console/Kconfig b/src/console/Kconfig
index 847d17e1eb..90fb426cee 100644
--- a/src/console/Kconfig
+++ b/src/console/Kconfig
@@ -133,6 +133,7 @@ endif # CONSOLE_SERIAL
 config SPKMODEM
 	bool "spkmodem (console on speaker) console output"
 	default n
+	depends on ARCH_X86
 	help
 	  Send coreboot debug output through speaker
 
@@ -150,12 +151,14 @@ config CONSOLE_USB
 config ONBOARD_VGA_IS_PRIMARY
 	bool "Use onboard VGA as primary video device"
 	default n
+	depends on PCI
 	help
 	  If not selected, the last adapter found will be used.
 
 config CONSOLE_NE2K
 	bool "Network console over NE2000 compatible Ethernet adapter"
 	default n
+	depends on PCI
 	help
 	  Send coreboot debug output to a Ethernet console, it works
 	  same way as Linux netconsole, packets are received to UDP
@@ -357,8 +360,10 @@ config POST_DEVICE_NONE
 	bool "None"
 config POST_DEVICE_LPC
 	bool "LPC"
+	depends on PCI
 config POST_DEVICE_PCI_PCIE
 	bool "PCI/PCIe"
+	depends on PCI
 endchoice
 
 config POST_IO
diff --git a/src/device/Kconfig b/src/device/Kconfig
index 70a362f20e..d156d369f2 100644
--- a/src/device/Kconfig
+++ b/src/device/Kconfig
@@ -303,6 +303,7 @@ config SUBSYSTEM_DEVICE_ID
 
 config VGA_BIOS
 	bool "Add a VGA BIOS image"
+	depends on ARCH_X86
 	help
 	  Select this option if you have a VGA BIOS image that you would
 	  like to add to your ROM.
@@ -352,6 +353,7 @@ config MBI_FILE
 
 config PXE_ROM
 	bool "Add a PXE ROM image"
+	depends on ARCH_X86
 	help
 	  Select this option if you have a PXE ROM image that you would
 	  like to add to your ROM.
diff --git a/src/drivers/sil/3114/Kconfig b/src/drivers/sil/3114/Kconfig
index 25bb202490..151636c717 100644
--- a/src/drivers/sil/3114/Kconfig
+++ b/src/drivers/sil/3114/Kconfig
@@ -1,6 +1,7 @@
 config DRIVERS_SIL_3114
 	bool "Silicon Image SIL3114"
 	default n
+	depends on PCI
 	help
 	It sets PCI class to IDE compatible native mode, allowing
 	SeaBIOS, FILO etc... to boot from it.