pld-boot_efi_mount.patch

   1 --- systemd-242/src/gpt-auto-generator/gpt-auto-generator.c.orig        2019-04-11 19:40:01.816893823 +0200
   2 +++ systemd-242/src/gpt-auto-generator/gpt-auto-generator.c     2019-04-11 19:42:53.022916795 +0200
   3 @@ -438,7 +438,7 @@
   4
   5                  /* Use /boot as fallback, but only if there's no XBOOTLDR partition */
   6                  if (!has_xbootldr) {
   7 -                        esp_path = "/boot";
   8 +                        esp_path = "/boot/efi";
   9                          id = "boot";
  10                  }
  11          }