Re: getconf CLK_TCK and CONFIG_HZ