--- ./arch/arm/Kconfig 2014-02-14 11:28:34.504514916 +0100 +++ ./arch/arm/Kconfig.a 2014-02-14 11:28:16.634516659 +0100 @@ -1698,7 +1698,7 @@ default OMAP_32K_TIMER_HZ if ARCH_OMAP && OMAP_32K_TIMER default AT91_TIMER_HZ if ARCH_AT91 default SHMOBILE_TIMER_HZ if ARCH_SHMOBILE - default 100 + default 1000 config THUMB2_KERNEL bool "Compile the kernel in Thumb-2 mode (EXPERIMENTAL)"