Accept "arm" instead of "armv7" in configure, see
   http://valgrind.10908.n7.nabble.com/building-for-arm-td39382.html .

diff -u -r valgrind-3.11.0.orig/configure valgrind-3.11.0/configure
--- valgrind-3.11.0.orig/configure	2015-10-02 20:37:41.915721386 +0200
+++ valgrind-3.11.0/configure	2015-10-02 20:37:54.886746395 +0200
@@ -5607,7 +5607,7 @@
         ARCH_MAX="s390x"
         ;;
 
-     armv7*)
+     arm*)
 	{ $as_echo "$as_me:${as_lineno-$LINENO}: result: ok (${host_cpu})" >&5
 $as_echo "ok (${host_cpu})" >&6; }
 	ARCH_MAX="arm"
td class='form'><form method='get'>
<input type='hidden' name='id' value='3e6aa0ce968c79869a7a1dcfcfe682865d16ad45'/><select name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a class='active' href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=3e6aa0ce968c79869a7a1dcfcfe682865d16ad45'>refs</a><a href='/guix/log/'>log</a><a href='/guix/tree/?id=3e6aa0ce968c79869a7a1dcfcfe682865d16ad45'>tree</a><a href='/guix/commit/?id=3e6aa0ce968c79869a7a1dcfcfe682865d16ad45'>commit</a><a href='/guix/diff/?id=3e6aa0ce968c79869a7a1dcfcfe682865d16ad45'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/'>
<input type='hidden' name='id' value='3e6aa0ce968c79869a7a1dcfcfe682865d16ad45'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='content'><div id='summary'><pre>