Index: gcc-5.4.0/gcc/config/arm/linux-eabi.h
===================================================================
--- gcc-5.4.0.orig/gcc/config/arm/linux-eabi.h	2015-01-05 07:33:28.000000000 -0500
+++ gcc-5.4.0/gcc/config/arm/linux-eabi.h	2016-07-15 12:10:52.501822480 -0400
@@ -45,7 +45,7 @@
    The ARM10TDMI core is the default for armv5t, so set
    SUBTARGET_CPU_DEFAULT to achieve this.  */
 #undef  SUBTARGET_CPU_DEFAULT
-#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm10tdmi
+#define SUBTARGET_CPU_DEFAULT TARGET_CPU_arm9tdmi
 
 /* TARGET_BIG_ENDIAN_DEFAULT is set in
    config.gcc for big endian configurations.  */
