diff -urNp grub-2.02-rc1.orig/util/grub-mkconfig_lib.in grub-2.02-rc1/util/grub-mkconfig_lib.in
--- grub-2.02-rc1.orig/util/grub-mkconfig_lib.in	2017-02-08 15:06:56.145316876 +0000
+++ grub-2.02-rc1/util/grub-mkconfig_lib.in	2017-02-08 15:07:12.391316693 +0000
@@ -183,6 +183,9 @@ grub_get_device_id ()
 
 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