Index: kern/efi/init.c
===================================================================
RCS file: /sources/grub/grub2/kern/efi/init.c,v
retrieving revision 1.5
diff -u -r1.5 init.c
--- kern/efi/init.c	21 Jul 2007 23:32:26 -0000	1.5
+++ kern/efi/init.c	3 Nov 2007 19:05:00 -0000
@@ -53,7 +53,19 @@
       device = grub_efidisk_get_device_name (image->device_handle);
       file = grub_efi_get_filename (image->file_path);
       
-      if (device && file)
+      if (grub_prefix[0] != '\0' && device)
+	{
+	  char *prefix;
+	  prefix = grub_malloc (1 + grub_strlen (device) + 1
+				+ grub_strlen (grub_prefix) + 1);
+	  if (prefix)
+	    {
+	      grub_sprintf (prefix, "(%s)%s", device, grub_prefix);
+	      grub_env_set ("prefix", prefix);
+	      grub_free (prefix);
+	    }
+	}
+      else if (device && file)
 	{
 	  char *p;
 	  char *prefix;