Add APIs to allow Device Admins to change SELinux settings