grub patch commented