Is SELinux support as a kernel module possible ??