Grub patch grub_0.97-35.diff.gz on http://ftp.debian.org/debian/pool/main/g/grub/ are not available anymore. Patch 47 and 51 don't work at the first go. Can anybody check it out? Best regards Patrick Fischer