Is the profile selinux/2007.0 still used? It depends on default-linux/$arch/2007.0, which are deprecated from a long time. Can we punt it? Also, alpha/sparc don't have selinux support(nor we want it), so, @selinux: can we drop all the stuff related to selinux on those arches?(i'm on both arches)
I assume it isn't.
I'll look into dropping it since the selinux team is down to me and I don't have time to maintain it on non x86/x86-64 machines. On a side note, I don't see your not wanting of selinux support as relevent to this discussion since the maintenance burden is not yours.
selinux support for non x86/amd64 arches has been dropped.