Roll new valgrind-variant (r138, which is Valgrind r13132, VEX r2564) binaries for Linux

binaries/linux_x64/lib/valgrind/64bit-core-valgrind-s2.xml

 <?xml version="1.0"?>
 <!-- Copyright (C) 2010 Free Software Foundation, Inc.
 
      Copying and distribution of this file, with or without modification,
      are permitted in any medium without royalty provided the copyright
      notice and this notice are preserved.  -->
 
 <!DOCTYPE feature SYSTEM "gdb-target.dtd">
 <feature name="org.gnu.gdb.i386.core.valgrind.s2">
   <flags id="i386_eflags" size="4">
     <field name="CF" start="0" end="0"/>
     <field name="" start="1" end="1"/>
     <field name="PF" start="2" end="2"/>
     <field name="AF" start="4" end="4"/>
     <field name="ZF" start="6" end="6"/>
     <field name="SF" start="7" end="7"/>
     <field name="TF" start="8" end="8"/>
     <field name="IF" start="9" end="9"/>
     <field name="DF" start="10" end="10"/>
     <field name="OF" start="11" end="11"/>
     <field name="NT" start="14" end="14"/>
     <field name="RF" start="16" end="16"/>
     <field name="VM" start="17" end="17"/>
     <field name="AC" start="18" end="18"/>
     <field name="VIF" start="19" end="19"/>
     <field name="VIP" start="20" end="20"/>
     <field name="ID" start="21" end="21"/>
   </flags>
 
+  <struct id="i387_ext_s">
+    <field name="b64" type="uint64"/>
+    <field name="b16" type="uint16"/>
+  </struct>
+
   <reg name="raxs2" bitsize="64" type="int64"/>
   <reg name="rbxs2" bitsize="64" type="int64"/>
   <reg name="rcxs2" bitsize="64" type="int64"/>
   <reg name="rdxs2" bitsize="64" type="int64"/>
   <reg name="rsis2" bitsize="64" type="int64"/>
   <reg name="rdis2" bitsize="64" type="int64"/>
   <reg name="rbps2" bitsize="64" type="data_ptr"/>
   <reg name="rsps2" bitsize="64" type="data_ptr"/>
   <reg name="r8s2" bitsize="64" type="int64"/>
   <reg name="r9s2" bitsize="64" type="int64"/>
   <reg name="r10s2" bitsize="64" type="int64"/>
   <reg name="r11s2" bitsize="64" type="int64"/>
   <reg name="r12s2" bitsize="64" type="int64"/>
   <reg name="r13s2" bitsize="64" type="int64"/>
   <reg name="r14s2" bitsize="64" type="int64"/>
   <reg name="r15s2" bitsize="64" type="int64"/>
 
   <reg name="rips2" bitsize="64" type="code_ptr"/>
   <reg name="eflagss2" bitsize="32" type="i386_eflags"/>
   <reg name="css2" bitsize="32" type="int32"/>
   <reg name="sss2" bitsize="32" type="int32"/>
   <reg name="dss2" bitsize="32" type="int32"/>
   <reg name="ess2" bitsize="32" type="int32"/>
   <reg name="fss2" bitsize="32" type="int32"/>
   <reg name="gss2" bitsize="32" type="int32"/>
 
-  <reg name="st0s2" bitsize="80" type="i387_ext"/>
-  <reg name="st1s2" bitsize="80" type="i387_ext"/>
-  <reg name="st2s2" bitsize="80" type="i387_ext"/>
-  <reg name="st3s2" bitsize="80" type="i387_ext"/>
-  <reg name="st4s2" bitsize="80" type="i387_ext"/>
-  <reg name="st5s2" bitsize="80" type="i387_ext"/>
-  <reg name="st6s2" bitsize="80" type="i387_ext"/>
-  <reg name="st7s2" bitsize="80" type="i387_ext"/>
+  <reg name="st0s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st1s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st2s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st3s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st4s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st5s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st6s2" bitsize="80" type="i387_ext_s"/>
+  <reg name="st7s2" bitsize="80" type="i387_ext_s"/>
 
   <reg name="fctrls2" bitsize="32" type="int" group="float"/>
   <reg name="fstats2" bitsize="32" type="int" group="float"/>
   <reg name="ftags2" bitsize="32" type="int" group="float"/>
   <reg name="fisegs2" bitsize="32" type="int" group="float"/>
   <reg name="fioffs2" bitsize="32" type="int" group="float"/>
   <reg name="fosegs2" bitsize="32" type="int" group="float"/>
   <reg name="fooffs2" bitsize="32" type="int" group="float"/>
   <reg name="fops2" bitsize="32" type="int" group="float"/>
 </feature>