sysinst installs .bin kernel

[Harold Gutch <logix%foobar.franken.de@localhost>]

Hi,

on the Raspberry Pi, the FDT changes now require installation of the
.img kernel instead of the .bin kernel and sysinst should follow suit
when the user selects "Raspberry Pi".  Could somebody please commit
the attached diff?  Thanks!

Also, can the .bin kernel even be removed completely?  I suppose
having the ELF kernel in / might be useful, but right now
kern-RPI*.tgz contains three kernels (.bin, .img, ELF) and I am not
sure if there still is a point at all in keeping the .bin kernel
around after the corresponding .img is built.


thanks,
  Harold

--- src/usr.sbin/sysinst/arch/evbarm/md.c	2015-05-10 10:14:02.000000000 +0000
+++ src/usr.sbin/sysinst/arch/evbarm/md.c	2017-12-14 14:48:59.000000000 +0000
@@ -209,7 +209,7 @@
 	if (boardtype == BOARD_TYPE_NORMAL)
 		return 0;
 	if (boardtype == BOARD_TYPE_RPI) {
-		snprintf(kernelbin, 100, "%s/netbsd.bin", targetroot_mnt);
+		snprintf(kernelbin, 100, "%s/netbsd.img", targetroot_mnt);
 		if (file_exists_p(kernelbin)) {
 			run_program(RUN_DISPLAY,
 			    "/bin/cp %s /targetroot/boot/kernel.img", kernelbin);