[libsmi] DEFVAL in xsd output