The loader was written so that if /kernel was missing /kernel.old would

be booted.  Due to a bug, this wasn't happening.

There is still a lesser bug in that the loader decides which file to boot
after the 10sec count down.  This means the bootfile listed in the count
down in is wrong in the case where the loader will boot /kernel.old.

sys/boot/common/boot.c

@@ -249,6 +249,8 @@ getbootfile(int try)
 
     while ((try > 0) && (spec != NULL)) {
 	spec = strchr(spec, ';');
+	if (spec)
+	    spec++;	/* skip over the leading ';' */
 	try--;
     }
     if (spec != NULL) {