avr32: Use generic time config

Signed-off-by: Anna-Maria Gleixner <anna-maria@glx-um.de>
Cc: Haavard Skinnemoen <hskinnemoen@gmail.com>
Link: http://lkml.kernel.org/r/20120518163104.889514832@glx-um.de
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>

diff --git a/arch/avr32/Kconfig b/arch/avr32/Kconfig
index 3dea723..0bd13ab 100644 (file)
--- a/arch/avr32/Kconfig
+++ b/arch/avr32/Kconfig
@@ -12,6 +12,7 @@ config AVR32
        select HARDIRQS_SW_RESEND
        select GENERIC_IRQ_SHOW
        select ARCH_HAVE_NMI_SAFE_CMPXCHG
+       select GENERIC_CLOCKEVENTS
        help
          AVR32 is a high-performance 32-bit RISC microprocessor core,
          designed for cost-sensitive embedded applications, with particular
@@ -35,9 +36,6 @@ config TRACE_IRQFLAGS_SUPPORT
 config RWSEM_GENERIC_SPINLOCK
        def_bool y
 
-config GENERIC_CLOCKEVENTS
-       def_bool y
-
 config RWSEM_XCHGADD_ALGORITHM
        def_bool n