selinux: More tweaks

Change-Id: I43103acec0fb1146412c942b699670bddd12352f