diff --git a/gnu/system/grub.scm b/gnu/system/grub.scm
index 1f2cd08ff0..4f9bde6a62 100644
--- a/gnu/system/grub.scm
+++ b/gnu/system/grub.scm
@@ -183,8 +183,6 @@ (define setup-gfxterm-body
     (if (string-match "^(x86_64|i[3-6]86)-" system)
         "
   # Leave 'gfxmode' to 'auto'.
-  insmod vbe
-  insmod vga
   insmod video_bochs
   insmod video_cirrus
   insmod gfxterm
@@ -195,6 +193,10 @@ (define setup-gfxterm-body
     # which isn't convenient.
     insmod efi_gop
     insmod efi_uga
+  else
+    # These are specific to non-EFI Intel machines.
+    insmod vbe
+    insmod vga
   fi
 
   terminal_output gfxterm