Re: [CentOS-devel] ksplice and CentOS