Install kernel won't boot

[Richard Earnshaw <rearnsha%buzzard.freeserve.co.uk@localhost>]

The INSTALL kernel (from ~24 hours ago) won't boot.  The last thing we get 
before the machine hangs is from the boot loading spinner:

2211840+2015232/

and then nothing.

Do we need to map more data space for this kernel?  A GENERIC kernel built 
from the same code boots ok.

3477472 86016   230428  3793916 39e3fc  testnetbsd (GENERIC 2002/04/18)
1839072 36864   149620  2025556 1ee854  netbsd (my own kernel, Feb)
2211808 2015232 150092  4377132 42ca2c  INSTALL (2002/04/18)

R.