enable SELinux support

Change-Id: I76aa4435b1427d2058c77579a989db3b013de655