When trying to boot /boot/kernel.old/kernel while the directory kernel.old is absent, this text is shown: "error while including /boot/menu.rc, in the line: menu-display".