diff --git a/arch/x86/Kconfig b/arch/x86/Kconfig
index 8fbce99f83..78079fb8e2 100644
--- a/arch/x86/Kconfig
+++ b/arch/x86/Kconfig
@@ -231,3 +231,13 @@ config APIC_ID_OFFSET
 	depends IOAPIC
 	help
 		This is entirely mainboard dependent. 0x10 is a *typical* setting but not always a good setting. 
+
+menu "Debugging"
+
+config CARTEST
+	bool "Test CAR area"
+	default n
+	help
+		Test the CAR area after it has been set up.
+
+endmenu