defconfig: Fix selinux typos!