Re: problem booting a 2.6.13 kernel with selinux enabled