diff -ur grub-2.04.orig/util/grub-mkconfig_lib.in grub-2.04/util/grub-mkconfig_lib.in
--- grub-2.04.orig/util/grub-mkconfig_lib.in	2019-08-18 15:53:18.700000000 +0200
+++ grub-2.04/util/grub-mkconfig_lib.in	2019-08-18 15:53:29.906000000 +0200
@@ -183,6 +183,9 @@
 
 grub_file_is_not_garbage ()
 {
+  if test -L "$1" ; then
+    return 1
+  fi
   if test -f "$1" ; then
     case "$1" in
       *.dpkg-*) return 1 ;; # debian dpkg