add SElinux support to kernel for kk44