kexec hardboot and SELinux support for CM