kexec hardboot patch, SELinux support for CM