I am using a verdex-pro with open-embedded linux. I need to increase the Linux timer interrupt frequency from 100Hz to 1000 Hz. But I somehow just can't change the CONFIG_HZ value through menuconfig.  Anybody knows how to do that?

I followed the steps from the following post:

bitbake gumstix-kernel -c menuconfig
I can only see the symbol through search in menuconfig ( Symbol: HZ [=100] ). Unfortunately, there is no way I can modify it because I can't find it in the menu.