unable to build gmp on ARMv7

[Torbjorn Granlund]

Nikolai Sokolov <nzamb7 at gmail.com> writes:

  tmp-rsh1add_n.s: Assembler messages:
  tmp-rsh1add_n.s:81: Error: bad instruction `rrxs r12,r7'
  tmp-rsh1add_n.s:92: Error: bad instruction `rrxs r12,r7'
  tmp-rsh1add_n.s:93: Error: bad instruction `rrxs r6,r6'
  tmp-rsh1add_n.s:94: Error: bad instruction `rrxs r5,r5'
  tmp-rsh1add_n.s:95: Error: bad instruction `rrxs r4,r4'
  tmp-rsh1add_n.s:108: Error: bad instruction `rrxs r12,r6'
  tmp-rsh1add_n.s:109: Error: bad instruction `rrxs r5,r5'
  tmp-rsh1add_n.s:110: Error: bad instruction `rrxs r4,r4'
  tmp-rsh1add_n.s:120: Error: bad instruction `rrxs r12,r5'
  tmp-rsh1add_n.s:121: Error: bad instruction `rrxs r4,r4'
  tmp-rsh1add_n.s:126: Error: bad instruction `rrxs r4,r4'

This is caused by a very old assembler.  We have worked around this
problem in the head repo, but not dared to touch the stable code.

Please install a newer assembler.

-- 
Torbjörn