enable selinux support

Conflicts:
	device.mk