Re: grub2-tools and UEFI/GPT