Bug#684574: grub-efi-amd64 - Does not load EFI console modules

[Michael Gilbert]

Hi,

I just got a new EFI system and ran into this.  To solve it, I created
the following patch and set GRUB_VIDEO_BACKEND="efi_gop" in
/etc/default/grub.  It's certainly not ideal or automated, but it
works.

--- /etc/grub.d/10_linux.orig   2012-08-13 21:41:57.292004204 -0400
+++ /etc/grub.d/10_linux        2012-08-13 19:52:27.344158078 -0400
@@ -94,6 +94,13 @@
 EOF
   fi

+  # support user-configured video backand
+  if [ "x$GRUB_VIDEO_BACKEND" != x ]; then
+    cat << EOF
+       load_video
+EOF
+  fi
+
   cat << EOF
        insmod gzio
 EOF

Best wishes,
Mike