>
> I wonder whether it's appropriate to use separate kern set for them
> too (like kern-ps2.tgz, similarily to kern-tiny or kern-laptop), or
> the support should be put into GENERIC. Since typical i386 user would
> probably not have an IBM PS/2, I think it's more appropriate to use
> separate kern set.
> Is there any good reason to use single GENERIC, which would include
> support for IBM PS/2?

yes. the reason is that generic kernel is for booting any machine and not
for general use as it's wasteful.
for normal use you should compile your custom kernel.