patched grub modification