On Sat, Apr 29, 2017 at 12:24:32PM -0400, Leo Famulari wrote:
> I've built this GRUB for x86_64-linux and i686-linux, and I'm using it
> successfully for GuixSD on x86_64-linux.
> 
> I'll push it in the next day or two, but I'd like to give others the
> opportunity to test their setups.

I pushed a modified version of this patch as
3586a3e9a9b0c71b11c47ff63279b2e8a24b5704.