boot linux from grub prompt - Search