Use better ipv6 validation in selinux.xsd, supports broken libxml2.