Re: correct CONFIG_HZ option