CONFIG_HZ=250 on Kirkwood

Hi,

according to a statement from Russell King:

commit b28748fb5d21d5d64c9ce31579ffbbd41f317042

Author: Russell King <[email protected]>
Date:   Sun Feb 17 14:40:33 2013 +0000

ARM: add SCHED_HRTICK config option

As we don't include kernel/Kconfig.hz as this defines HZ values unsuitable for ARM platforms, add the SCHED_HRTICK to properly
configure
the scheduler for hrtimer operation.

and to arch/arm/Kconfig:

config HZ

         int
         default 200 if ARCH_EBSA110 || ARCH_S3C24XX || ARCH_S5P64X0 || \
                 ARCH_S5PV210 || ARCH_EXYNOS4
         default AT91_TIMER_HZ if ARCH_AT91
         default SHMOBILE_TIMER_HZ if ARCH_SHMOBILE
         default 100

the only safe value for CONFIG_HZ on Kirkwood would be 100.

We would like to use CONFIG_HZ=250 on our Kirkwood devices and NOT use the SCHED_HRTICK feature.
Does anyone have know whether (and why) this would be a bad idea?

Thanks a lot!
Gerlando