+2016-10-18  Maciej W. Rozycki  <macro@imgtec.com>
+
+       * i386-tdep.c (i386_mpx_info_bounds): Make sure the architecture
+       is `bfd_arch_i386' before proceeding.
+       (i386_mpx_set_bounds): Likewise.
+
 2016-10-18  Maciej W. Rozycki  <macro@imgtec.com>
 
        * tilegx-tdep.c (tilegx_analyze_prologue): Use the `long long'
 
   struct gdbarch *gdbarch = get_current_arch ();
   struct type *data_ptr_type = builtin_type (gdbarch)->builtin_data_ptr;
 
-  if (!i386_mpx_enabled ())
+  if (gdbarch_bfd_arch_info (gdbarch)->arch != bfd_arch_i386
+      || !i386_mpx_enabled ())
     {
       printf_unfiltered (_("Intel Memory Protection Extensions not "
                           "supported on this target.\n"));
   enum bfd_endian byte_order = gdbarch_byte_order (gdbarch);
   struct type *data_ptr_type = builtin_type (gdbarch)->builtin_data_ptr;
 
-  if (!i386_mpx_enabled ())
+  if (gdbarch_bfd_arch_info (gdbarch)->arch != bfd_arch_i386
+      || !i386_mpx_enabled ())
     error (_("Intel Memory Protection Extensions not supported\
  on this target."));