kernel: add CONFIG_SCHED_HRTICK=y to the generic config