Detect some more ARM CPU types.

Patch taken from the Debian package by Sam Hocevar.


git-svn-id: file:///var/local/repositories/ffmpeg/trunk@6870 9553f0bf-9b14-0410-a0b8-cfaf0461ba5b

configure

@@ -366,8 +366,8 @@ case "$arch" in
       fi
     fi
   ;;
-  # armv4l is a subset of armv5tel
-  arm|armv4l|armv5tel)
+  # armv4l is a subset of armv[567]*l
+  arm|armv[4567]*l)
     arch="armv4l"
   ;;
   alpha)