diff --git a/src/console/Kconfig b/src/console/Kconfig
index 2d047e763b..1704215f1d 100644
--- a/src/console/Kconfig
+++ b/src/console/Kconfig
@@ -4,6 +4,10 @@ config SERIAL_CONSOLE
 	bool "See output on the serial port console"
 	default y
 
+config SERIAL_POST
+	bool "See POST output on the serial port console"
+	default n
+
 config TTYS0_BASE
 	hex "I/O base for the serial port"
 	depends on SERIAL_CONSOLE
diff --git a/src/devices/Kconfig b/src/devices/Kconfig
index 64b442466c..2b58f91751 100644
--- a/src/devices/Kconfig
+++ b/src/devices/Kconfig
@@ -51,3 +51,30 @@ config NO_RUN
 endchoice
 
 endmenu
+
+config PCI_64BIT_PREF_MEM
+	bool
+	default n
+
+config HYPERTRANSPORT_PLUGIN_SUPPORT
+	bool
+	default n
+
+config PCIX_PLUGIN_SUPPORT
+	bool
+	default n
+
+config PCIEXP_PLUGIN_SUPPORT
+	bool
+	default n
+
+config AGP_PLUGIN_SUPPORT
+	bool
+	default n
+
+config CARDBUS_PLUGIN_SUPPORT
+	bool
+	default n
+
+
+