(3)Where and in which name install RAMDISK kernels should be put
Maybe we should re-think about this.
There are several historical and port specific variants.
Some ports require special binary formats and others not.
The firmware on shark and cats require a.out kernels,
but gxemul emulating cats requires a standard ELF kernel.
dreamcast requires a raw netbsd-GENERIC_MD.bin kernel for bootstrap,
but it has been put in binary/kernel.
arc requires netbsd-RAMDISK.gz kernel as alpha,
but it has been put in binary/kernel.
(yes, I did the latter two, but it was just because i386 put it there)
For now, it might be a compromise to change MDSET_RELEASEDIR
in distrib/shark/instkernel/instkernel/Makefile from
binary/kernel to installation/instkernel, I think.