Is grub dropping to prompt without batch?