Leo Famulari <leo@famulari.name> writes:

> This patch updates GRUB to the latest upstream release, 2.02~rc2.
>
> https://lists.gnu.org/archive/html/grub-devel/2017-03/msg00052.html
>
> According to that release announcement, the GRUB maintainers plan to
> release 2.02 any day now!
>
> I'm using it on my x86_64 GuixSD machine without any problems.

I can confirm it works on a grub-efi system as well. LGTM!