bc53bd0 Update tinyxml2 patch and add upstream link

Authored and Committed by c72578 2 years ago
    Update tinyxml2 patch and add upstream link
    
    - Do not use z3 in case of i686. The i686 build fails since
      z3-4.8.15-1
    
        
file modified
+40 -4
file modified
+13 -3