enable SELinux support

Change-Id: I10b35ce208575d6b7fa39645edeb266958e5b750