ignore-kernel-symlinks.patch

   1 --- grub-2.00/util/grub-mkconfig_lib.in~        2013-04-15 00:03:09.102253190 +0200
   2 +++ grub-2.00/util/grub-mkconfig_lib.in 2013-04-15 00:54:39.189605003 +0200
   3 @@ -174,6 +174,9 @@
   4
   5  grub_file_is_not_garbage ()
   6  {
   7 +  if test -L "$1" ; then
   8 +    return 1
   9 +  fi
  10    if test -f "$1" ; then
  11      case "$1" in
  12        *.dpkg-*) return 1 ;; # debian dpkg