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.