GalaxyS4G: Enable SELinux