remove also from grub2efi workaround