defconfig: dlx: enable selinux development

Change-Id: Ibeb6c463c8fe836c70ce3052215ab07494c106c8