Add selinux to oc defconfig