correct CONFIG_HZ option