File grub2-efi-HP-workaround.patch of Package grub2.19555

v2: Add GRUB_FILE_TYPE_CONFIG to grub_file_open, see also upstream commit
ca0a4f689 verifiers: File type for fine-grained signature-verification controlling

Index: grub-2.04~rc1/grub-core/kern/efi/init.c
===================================================================
--- grub-2.04~rc1.orig/grub-core/kern/efi/init.c
+++ grub-2.04~rc1/grub-core/kern/efi/init.c
@@ -25,6 +25,7 @@
 #include <grub/env.h>
 #include <grub/mm.h>
 #include <grub/kernel.h>
+#include <grub/file.h>
 
 grub_addr_t grub_modbase;
 
@@ -48,6 +49,67 @@ grub_efi_init (void)
 void (*grub_efi_net_config) (grub_efi_handle_t hnd, 
 			     char **device,
 			     char **path);
+static char *
+workaround_efi_firmware_path (const char *device, const char *path)
+{
+  char *config = NULL;;
+  char *config_upper = NULL;
+  char *path_upper = NULL;
+  char *ret_path = NULL;
+  grub_file_t config_fd = NULL;
+  char *s;
+
+  if (!device || !path)
+    return NULL;
+
+  /* only workaround if booting off from cd device */
+  if (grub_strncmp (device, "cd", 2) != 0)
+    goto quit;
+
+  config = grub_xasprintf ("(%s)%s/grub.cfg", device, path);
+  config_fd = grub_file_open (config, GRUB_FILE_TYPE_CONFIG);
+
+  /* everything's fine, so quit the workaround */
+  if (config_fd)
+    goto quit;
+
+  /* reset grub error state because noone else does... */
+  grub_errno = GRUB_ERR_NONE;
+
+  /* try again, this time upper case path */
+  path_upper = grub_strdup (path);
+  if (! path_upper)
+    goto quit;
+
+  s = path_upper;
+  for (; *s; s++) *s = grub_toupper(*s);
+
+  config_upper = grub_xasprintf ("(%s)%s/grub.cfg", device, path_upper);
+  if (! config_upper)
+    goto quit;
+
+  config_fd = grub_file_open (config_upper, GRUB_FILE_TYPE_CONFIG);
+
+  /* if config can be found by the upper case path, return it */
+  if (config_fd)
+    ret_path = grub_strdup (path_upper);
+
+quit:
+
+  if (config_fd)
+    grub_file_close (config_fd);
+
+  if (grub_errno)
+    grub_errno = GRUB_ERR_NONE;
+
+  if (config)
+    grub_free (config);
+
+  if (config_upper)
+    grub_free (config_upper);
+
+  return ret_path;
+}
 
 void
 grub_machine_get_bootlocation (char **device, char **path)
@@ -72,6 +134,12 @@ grub_machine_get_bootlocation (char **de
       p = grub_strrchr (*path, '/');
       if (p)
         *p = '\0';
+
+      if ((p = workaround_efi_firmware_path (*device, *path)))
+	{
+	  grub_free (*path);
+	  *path = p;
+	}
     }
 }