Kernel ARM: back to 1000 Hz, cuz of new drivers

diff --git a/archive-patches/kernel-config/kernel-4.10-bcm7251s.config b/archive-patches/kernel-config/kernel-4.10-bcm7251s.config
index 3aabfff783143efa87ff449e852780739a99fec4..6a5092826ef8c378a6f3540525377db2a572b983 100644 (file)
--- a/archive-patches/kernel-config/kernel-4.10-bcm7251s.config
+++ b/archive-patches/kernel-config/kernel-4.10-bcm7251s.config
@@ -542,13 +542,13 @@ CONFIG_PREEMPT_NONE=y
 # CONFIG_PREEMPT_VOLUNTARY is not set
 # CONFIG_PREEMPT is not set
 CONFIG_HZ_FIXED=0
-CONFIG_HZ_100=y
+# CONFIG_HZ_100 is not set
 # CONFIG_HZ_200 is not set
 # CONFIG_HZ_250 is not set
 # CONFIG_HZ_300 is not set
 # CONFIG_HZ_500 is not set
-# CONFIG_HZ_1000 is not set
-CONFIG_HZ=100
+CONFIG_HZ_1000=y
+CONFIG_HZ=1000
 CONFIG_SCHED_HRTICK=y
 # CONFIG_THUMB2_KERNEL is not set
 CONFIG_ARM_PATCH_IDIV=y