> This is tied into something I raised elsewhere - the loader should pass the
> kernel name it uses, to the kernel and use that rather than PROM properties
> for machdep.booted_kernel.

I agree. This is how it is handled by i386, IIRC. (Due to missing PROM 
properties there, of course ;-} )

Martin