Re: Trouble booting kernel after building a kernel on a SELinux enabled system