--- driverdriver.c.orig	2011-04-25 21:09:34.000000000 -0700
+++ driverdriver.c	2013-01-11 01:14:57.000000000 -0800
@@ -123,12 +123,14 @@ struct arch_config_guess_map arch_config
   {"ppc", "powerpc"},
   {"ppc64", "powerpc"},
   {"x86_64", "i686"},
+#ifdef CPU_TYPE_ARM
   {"arm", "arm"},
   {"armv4t", "arm"},
   {"armv5", "arm"},
   {"xscale", "arm"},
   {"armv6", "arm"},
   {"armv7", "arm"},
+#endif
   {NULL, NULL}
 };
 
@@ -772,6 +774,7 @@ add_arch_options (int index, const char 
     current_argv[arch_index] = "-march=pentium2";
   else if (!strcmp (arches[index], "x86_64"))
     current_argv[arch_index] = "-m64";
+#ifdef CPU_TYPE_ARM
   else if (!strcmp (arches[index], "arm"))
     current_argv[arch_index] = "-march=armv4t";
   else if (!strcmp (arches[index], "armv4t"))
@@ -784,6 +787,7 @@ add_arch_options (int index, const char 
     current_argv[arch_index] = "-march=armv6k";
   else if (!strcmp (arches[index], "armv7"))
     current_argv[arch_index] = "-march=armv7a";
+#endif
   else
     count = 0;
 
