grub2 rebuild

system/boot/grub2/files/mkconfig-fix.patch

@@ -7,24 +7,22 @@ Subject: [PATCH] 00_header: add GRUB_COLOR_* variables
  util/grub.d/00_header.in | 8 ++++++++
  2 files changed, 10 insertions(+)
 
-diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in
-index f8cbb8d7a..1189d95f9 100644
---- a/util/grub-mkconfig.in
-+++ b/util/grub-mkconfig.in
-@@ -246,6 +246,8 @@ export GRUB_DEFAULT \
+diff -Nuar a/util/grub-mkconfig.in b/util/grub-mkconfig.in
+--- a/util/grub-mkconfig.in	2021-11-05 18:53:16.118969000 +0300
++++ b/util/grub-mkconfig.in	2021-11-05 20:03:25.603871159 +0300
+@@ -243,6 +243,8 @@
    GRUB_BACKGROUND \
    GRUB_THEME \
    GRUB_GFXPAYLOAD_LINUX \
 +  GRUB_COLOR_NORMAL \
 +  GRUB_COLOR_HIGHLIGHT \
+   GRUB_DISABLE_OS_PROBER \
    GRUB_INIT_TUNE \
    GRUB_SAVEDEFAULT \
-   GRUB_ENABLE_CRYPTODISK \
-diff --git a/util/grub.d/00_header.in b/util/grub.d/00_header.in
-index 93a90233e..c5955df00 100644
---- a/util/grub.d/00_header.in
-+++ b/util/grub.d/00_header.in
-@@ -125,6 +125,14 @@ cat <<EOF
+diff -Nuar a/util/grub.d/00_header.in b/util/grub.d/00_header.in
+--- a/util/grub.d/00_header.in	2021-11-05 18:53:15.816969000 +0300
++++ b/util/grub.d/00_header.in	2021-11-05 20:06:00.698859968 +0300
+@@ -125,6 +125,14 @@
 
  EOF
 
@@ -39,3 +37,4 @@ index 93a90233e..c5955df00 100644
  serial=0;
  gfxterm=0;
  for x in ${GRUB_TERMINAL_INPUT} ${GRUB_TERMINAL_OUTPUT}; do
+