Enable SELinux again

Change-Id: I4dd5c66e42239ec6b836feffbff75d65e82c96a4