fix UEFI grub installations