add GRUB hacks