grub/grub-2.02_beta3-openmamba-default-nomodeset.patch

--- grub-2.02_beta3/util/grub.d/10_linux.in.orig	2016-08-25 21:54:04.745747726 +0200
+++ grub-2.02_beta3/util/grub.d/10_linux.in	2016-08-25 21:58:24.552485179 +0200
@@ -225,8 +225,13 @@
   fi
 
   if [ "x$is_top_level" = xtrue ] && [ "x${GRUB_DISABLE_SUBMENU}" != xy ]; then
-    linux_entry "${OS}" "${version}" simple \
-    "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
+    if [ "x${GRUB_DEFAULT_NOMODESET}" = xtrue ]; then
+       linux_entry "${OS} (proprietary video driver)" "${version}" nomodeset \
+       "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT} nomodeset"
+    else
+       linux_entry "${OS}" "${version}" simple \
+       "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
+    fi
 
     submenu_indentation="$grub_tab"
     
@@ -242,8 +247,13 @@
     "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
   fi
 
-  linux_entry "${OS} (proprietary video driver)" "${version}" nomodeset \
-              "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT} nomodeset"
+  if [ "x${GRUB_DEFAULT_NOMODESET}" = xtrue ]; then
+     linux_entry "${OS}" "${version}" simple \
+                 "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"
+  else
+     linux_entry "${OS} (proprietary video driver)" "${version}" nomodeset \
+                 "${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT} nomodeset"
+  fi
 
   linux_entry "${OS} (with debug messages)" "${version}" debug \
               "${GRUB_CMDLINE_LINUX} debug"
--- grub-2.02_beta3/util/grub-mkconfig.in.orig	2016-08-25 22:00:24.140179518 +0200
+++ grub-2.02_beta3/util/grub-mkconfig.in	2016-08-25 22:25:21.236957757 +0200
@@ -230,6 +230,7 @@
   GRUB_SAVEDEFAULT \
   GRUB_ENABLE_CRYPTODISK \
   GRUB_BADRAM \
+  GRUB_DEFAULT_NOMODESET \
   GRUB_OS_PROBER_SKIP_LIST \
   GRUB_DISABLE_SUBMENU