Re: [CentOS-devel] kernel upgrade for AVX support