Common kernel for Exynos7885 SoC, SELinux is still set to permissive - View it on GitHub