Что делать, если система не загружается (kernel not found)?

После перелинковки ядра система не загружается и выдает сообщение: Kernel not found.
Как исправить ситуацию?

Необходимо вернуть предыдущее «правильное» ядро.

Загрузиться в установочного (или аварийного) диска FreeBSD в “Safe Mode”, далее выбрать пункты «Fixit», «CDROM/DVD».

Fixit> mount /dev/ar0s1a
Fixit> cd /mnt/boot
Fixit> cp –R kernel kernel.bad
Fixit> mv kernel.prev kernel
Fixit> cd /
Fixit> umount /mnt
Fixit> exit