grub: fix patch