defconfig: update selinux flags

Change-Id: I7859acbc7dc5df03728948e68ee917c69b296277