| 
| 	  The pc532 port doesn't preserve the kernel used to build the
| installation floppy in ${RELEASEDIR}/installation/kernel, like many
| other ports do. This is unfortunate. It's even worse because the
| kernel is stripped, so there is no where to look for an unstripped
| version of that kernel, nor is there a good place for the symbols
| files to live.

Err, I wasn't paying attentino. It's preserved in binary/kernel,
as it should be. Sorry.
Closing this.

--jhawk