Setting kern.bootfile, and backup kernels

[Peter Grehan]

Hi Garance,

> even though the boot file is not /kernel.  After some quick checks,
> it seems the problem is that sys/kern/kern_mib.c has:
>       char kernelname[MAXPATHLEN] = "/kernel";

  Another old NetBSD relic I think. I'll fix it pronto: thanks for the 
sparc64 machdep tip.

later,

Peter.