Resolve "run xmllint on *.xml and *.docbook in precheck"

(cherry picked from commit bb1937aa)
7 jobs for 378-run-xmllint-on-xml-and-docbook-in-precheck-v9_12 in 7 minutes and 9 seconds (queued for 6 seconds)