selinux changes
Unified smdk4x12 init with t0lte