defconfig: Implement SELinux