diff -Nru grub-2.02.orig/grub-core/gfxmenu/view.c grub-2.02/grub-core/gfxmenu/view.c
--- grub-2.02.orig/grub-core/gfxmenu/view.c	2015-05-21 17:50:29.000000000 +0200
+++ grub-2.02/grub-core/gfxmenu/view.c	2017-10-30 16:53:55.109658971 +0100
@@ -598,19 +598,6 @@
 static void
 notify_booting (grub_menu_entry_t entry, void *userdata)
 {
-  grub_gfxmenu_view_t view = (grub_gfxmenu_view_t) userdata;
-
-  char *s = grub_malloc (100 + grub_strlen (entry->title));
-  if (!s)
-    return;
-
-  grub_sprintf (s, "Booting '%s'", entry->title);
-  set_progress_message (view, s);
-  grub_free (s);
-  grub_gfxmenu_view_redraw (view, &view->progress_message_frame);
-  grub_video_swap_buffers ();
-  if (view->double_repaint)
-    grub_gfxmenu_view_redraw (view, &view->progress_message_frame);
 }
 
 static void
diff -Nru grub-2.02.orig/grub-core/normal/menu.c grub-2.02/grub-core/normal/menu.c
--- grub-2.02.orig/grub-core/normal/menu.c	2015-09-02 22:10:53.000000000 +0200
+++ grub-2.02/grub-core/normal/menu.c	2017-10-30 16:52:29.545653772 +0100
@@ -810,9 +810,6 @@
 notify_booting (grub_menu_entry_t entry,
 		void *userdata __attribute__((unused)))
 {
-  grub_printf ("  ");
-  grub_printf_ (N_("Booting `%s'"), entry->title);
-  grub_printf ("\n\n");
 }
 
 /* Callback invoked when a default menu entry executed because of a timeout