I think it should be possible to build a kernel with only support for
one specific machine, yes.   If you want a generic kernel, you should
have to list all the machine types.   So I think the right thing is to
add ifdefs, not remove them.

Of course, this will require people to update their config files
before rebuilding...

			       _MelloN_
--
Ted Lemon							 mellon@vix.com
+1 415 567 7999