Subject: bug#26707: [PATCH 1/1] gnu: grub: Update to 2.0.2.

From: Leo Famulari <[email-masked]>
Date: Sat, 29 Apr 2017 12:24:32 -0400

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.