Re: HZ=1000 in Fedora kernels