Boot kernel with SELinux in permissive mode