Repurpose Kubuntu EFI patch for lp:1242417

debian/patches/install_efi_ubuntu_flavours.patch

@@ -7,6 +7,8 @@ This is not a very good approach, and certainly not sanely upstreamable;
 we probably need to split GRUB_DISTRIBUTOR into a couple of different
 variables.
 
+Repurposed for use by elementary OS by Cody Garver <cody@elementary.io>
+
 Bug-Ubuntu: https://bugs.launchpad.net/bugs/1242417
 Forwarded: not-needed
 Last-Update: 2013-12-25
@@ -24,7 +26,7 @@ index 11940d6e6..e1a0202da 100644
        */
        char *t;
        efi_distributor = bootloader_id;
-+      if (strcmp (efi_distributor, "kubuntu") == 0)
++      if (strcmp (efi_distributor, "elementary") == 0)
 +	efi_distributor = "ubuntu";
        switch (platform)
  	{