[PATCHv2] Obsolete old platforms

[Maciej W. Rozycki]

On Wed, 28 Sep 2016, Tristan Gingold wrote:

> + mips*-big-* | \
> + mips*-dec-* | mips*el-*-ecoff* | \
> + mips*-*-ecoff* | \
> + mips*-sgi-* | mips*-*-bsd* | \

 This will match `mips-sgi-irix5' and `mips-sgi-irix6' which are not being 
removed with your change.

> + mips*-*-lnews* | \
> + mips*-*-sysv* | mips*-*-riscos* | \

 Otherwise OK with me.  Thanks for doing this work!

  Maciej