Fix grub2 provider