I wrote:

> Erik Bertelsen wrote:
> 
> > E.g. on my pmax I get
> >  config -v SOCKDEV 
> > SOCKDEV:7: warning: undeclared option `MIPS1' added to IDENT
> > SOCKDEV:27: warning: undeclared option `HZ=256' added to IDENT
> 
> I've got plans for defopt'ing MIPS1 and MIPS3 before the 1.4 cutoff...

Unfortunately I'll have to take that back.  MIPS1 and MIPS2 are used in
a _lot_ of places, and I'm simply not going to have time to track all
of these down, fix then and test them in time for the 1.4 cutoff.  I'll
attack this after than time.

Simon.