grub fixes for debian