Use GRUB 2.12

GRUB 2.12 brings many improvements including, but not limited to,
detached LUKS keyfile support, and numerous fixes for file system
behaviour, compared to GRUB 2.06.

GRUB 2.12 also improves memory allocation in GRUB, making it less
likely to run out of memory when a lot of memory is used, like when
having a very large memdisk.

Signed-off-by: Leah Rowe <leah@libreboot.org>
GNUtoo: Use GRUB 2.12 release, remove info about out of tree Argon 2
        in the commit message, minimize diff.
Acked-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>

resources/grub/patches/0003-say-the-name-gnuboot-in-the-grub-menu.patch

@@ -8,7 +8,7 @@ Subject: [PATCH 3/3] say the name gnuboot, in the grub menu
  1 file changed, 1 insertion(+), 1 deletion(-)
 
 diff --git a/grub-core/normal/main.c b/grub-core/normal/main.c
-index c4ebe9e22..3b7a4fc58 100644
+index bd4431000..31308e16a 100644
 --- a/grub-core/normal/main.c
 +++ b/grub-core/normal/main.c
 @@ -209,7 +209,7 @@ grub_normal_init_page (struct grub_term_output *term,

resources/packages/grub/download

@@ -60,7 +60,7 @@ fi
 # modifications are required
 cd "grub/"
 # reset to known revision
-git reset --hard 50aace6bdb918150ba47e3c16146dcca271c134a
+git reset --hard 5ca9db22e8ed0dbebb2aec53722972de0680a463
 for grubpatch in ../resources/grub/patches/*; do
 	git am "${grubpatch}"
 done
@@ -70,7 +70,7 @@ cd gnulib/
 
 # NOTE: when updating this, make sure it's the version specified
 # in bootstrap.conf on that version of GRUB, as specified above
-git reset --hard d271f868a8df9bbec29049d01e056481b7a1a263
+git reset --hard 9f48fb992a3d7e96610c4ce8be969cff2d61a01b
 rm -Rf .git*
 )