I’m still searching, but can anyone here tell me if there is a way I can see what the current value of config_HZ is on a running kernel?