diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index 6cff14a..b44f709 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -465,4 +465,13 @@
 	  assigned to PCI devices - i.e. the memory and prefetch regions, as
 	  passed to pci_set_region().
 
+config BOOTSTAGE
+	default y
+
+config BOOTSTAGE_REPORT
+	default y
+
+config CMD_BOOTSTAGE
+	default y
+
 endmenu