--- ./gas/configure.orig	2011-05-18 09:41:14.000000000 +0000
+++ ./gas/configure	2012-01-21 13:31:35.000000000 +0000
@@ -12043,6 +12043,9 @@
 	  mips64vr | mips64vrel)
 	    mips_cpu=vr4100
 	    ;;
+      mipsallegrex | mipsallegrexel)
+        mips_cpu=allegrex
+        ;;
 	  mipsisa32r2* | mipsisa64r2*)
 	    mips_cpu=`echo $target_cpu | sed -e 's/[a-z]*..r2//' -e 's/el$//'`
 	    ;;