buildscript: include selinux defconfig