Re: [CentOS] which kernel do people use?