booting question

[Chen Xu]

> Don't unload. Assuming that you use loader, let the system proceed to
> the count-down and press any key except <ENTER>. Then enter the command:
> boot kernel.old
>
> If you want to boot with options, place them at the end. (E.g. "boot
> kernel.old -s"

that is very nice to know. I ran into the very same problem recently.
what I used to do was: at counting down, press SPACE bar, unload,
load /boot/kernel.old/kernel, boot. At least this order worked in the past.
Something must have changed at some point.

Chen