booting from grub command line - Search