The only place I know of that makes that information available is actually in /proc/config.gz. So, theoretically, you could get the timer frequency with zgrep CONFIG_HZ= /proc/config.gz, but it really doesn't seem like the best way of doing this.