Enable SELinux support for all Samsung targets

Change-Id: I85b4fa684f88d0609c5d3486012f744841d02e5e