grub: patch it for new mkinitcpio