Maybe related, maybe not: on boot I get the following messags:

	No counter-timer -- using %tick at 269MHz as system clock.
	cpu_fork: nsaved 32
	root on wd0a dumps on wd0b
	root file system type: ffs
	cpu_fork: nsaved 32
	cpu_fork: nsaved 32
	cpu_fork: nsaved 32
	cpu_fork: nsaved 32
	Alignment error: dsfsr=00000000:00800001 dsfar=0:13 isfsr=00000000:00000000 pc=10baf8

	The cpu_fork debugging messages are new, and the alignment error too (I don't
	get that for the gnu/lib... case).

You should not be getting `cpu_fork: nsaved 32'.  The CPU only has 8 windows
so it should never get to 32, and by the time it gets to cpu_fork() the
windows should have been dumped from the PCB to the stack.  Try rebuilding
the kernel after a `make clean'.  If the problem remains we need to track
down why you're getting a bad `nsaved' value.

	Martin