diff --git a/gdb/features/Makefile b/gdb/features/Makefile
index d17c349b6cf..c98e31bc9b6 100644
--- a/gdb/features/Makefile
+++ b/gdb/features/Makefile
@@ -101,8 +101,9 @@ OUTPUTS = $(patsubst %,$(outdir)/%.dat,$(WHICH))
 # to make on the command line.
 XMLTOC = \
 	alpha.xml \
-	microblaze-with-stack-protect.xml \
 	microblaze.xml \
+	microblaze-linux.xml \
+	microblaze-with-stack-protect.xml \
 	mips-dsp-linux.xml \
 	mips-linux.xml \
 	mips64-dsp-linux.xml \
diff --git a/gdb/features/microblaze-linux.c b/gdb/features/microblaze-linux.c
index 48c6fc4e32e..087865cd41c 100644
--- a/gdb/features/microblaze-linux.c
+++ b/gdb/features/microblaze-linux.c
@@ -1,7 +1,6 @@
 /* THIS FILE IS GENERATED.  -*- buffer-read-only: t -*- vi:set ro:
   Original: microblaze-linux.xml */
 
-#include "defs.h"
 #include "osabi.h"
 #include "target-descriptions.h"
 
@@ -12,7 +11,7 @@ initialize_tdesc_microblaze_linux (void)
   target_desc_up result = allocate_target_description ();
   set_tdesc_architecture (result.get (), bfd_scan_arch ("MicroBlaze"));
 
-  set_tdesc_osabi (result.get (), osabi_from_tdesc_string ("GNU/Linux"));
+  set_tdesc_osabi (result.get (), GDB_OSABI_LINUX);
 
   struct tdesc_feature *feature;