rename selinux defconfig

Change-Id: I86ad812e03551a9a5d52bfc189a73f582616d3b7