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