use standard defconfig with selinux