x86: Simplify the Makefile in a minor way through use of cc-ifversion

[pandora-kernel.git] / arch / Kconfig

diff --git a/arch/Kconfig b/arch/Kconfig
index dc81b34..99193b1 100644 (file)
--- a/arch/Kconfig
+++ b/arch/Kconfig
@@ -109,3 +109,8 @@ config HAVE_CLK
 
 config HAVE_DMA_API_DEBUG
        bool
+
+config HAVE_DEFAULT_NO_SPIN_MUTEXES
+       bool
+
+source "kernel/gcov/Kconfig"