ignore-kernel-symlinks.patch

   1 diff -urNp grub-2.02-rc1.orig/util/grub-mkconfig_lib.in grub-2.02-rc1/util/grub-mkconfig_lib.in
   2 --- grub-2.02-rc1.orig/util/grub-mkconfig_lib.in        2017-02-08 15:06:56.145316876 +0000
   3 +++ grub-2.02-rc1/util/grub-mkconfig_lib.in     2017-02-08 15:07:12.391316693 +0000
   4 @@ -183,6 +183,9 @@ grub_get_device_id ()
   5
   6  grub_file_is_not_garbage ()
   7  {
   8 +  if test -L "$1" ; then
   9 +    return 1
  10 +  fi
  11    if test -f "$1" ; then
  12      case "$1" in
  13        *.dpkg-*) return 1 ;; # debian dpkg