update configs to use jRCU
move some kernel features as modules
jRCU: add missing rcu_cpu_stall_reset function

otherwise kernel/debug/debug_core.c: dbg_touch_watchdogs doesn't compile
move even more stuff to modules
increase 1250MHz real freq to 1248MHz