ping: MPX ABI extension

[Tedeschi, Walfred]

Hello All,

We would like to ping this patch:
https://sourceware.org/ml/libc-alpha/2013-08/msg00482.html

We have some modifications on GDB side that depends on those changes.

Thanks and regards,
Walfred Tedeschi

Intel GmbH
Dornacher Strasse 1
85622 Feldkirchen/Muenchen, Deutschland
Sitz der Gesellschaft: Feldkirchen bei Muenchen
Geschaeftsfuehrer: Christian Lamprechter, Hannes Schwaderer, Douglas Lusk
Registergericht: Muenchen HRB 47456
Ust.-IdNr./VAT Registration No.: DE129385895
Citibank Frankfurt a.M. (BLZ 502 109 00) 600119052