Re: grub2-efi / grub2-tools problem