selinux: permissive ak kernel

Change-Id: I08bc47750cdbc8b7e9f80a89cd0c2e7a954c3a62