enable SELinux support

Change-Id: I10b35ce208575d6b7fa39645edeb266958e5b750
Merge pull request #5 from CyanogenMod/cm-10.1

enable SELinux support