Re: sparc64 kernel won't boot with selinux enabled