selinux: kernel config

Change-Id: I45372abd4c9d61b7568e476ada61aab8d9b9288d