asprintf and snprintf support

kern/efi/init.c

@@ -63,11 +63,10 @@ grub_efi_set_prefix (void)
 	  if (p)
 	    *p = '\0';
 
-	  prefix = grub_malloc (1 + grub_strlen (device) + 1
-				+ grub_strlen (file) + 1);
+	  prefix = grub_asprintf ("(%s)%s", device, file);
 	  if (prefix)
 	    {
-	      grub_sprintf (prefix, "(%s)%s", device, file);
+	      
 	      grub_env_set ("prefix", prefix);
 	      grub_free (prefix);
 	    }