scripts: Fix flashing without systemd-boot

Set `EFI_PATH` to `/boot/efi` as a default for systems that do not have
bootctl from systemd-boot.

Signed-off-by: Tim Crawford <[email protected]>

Author: crawfxrd

scripts/flash.sh

@@ -51,7 +51,12 @@ then
 fi
 
 # Locate EFI partition mount path
-EFI_PATH="$(bootctl --print-esp-path)"
+EFI_PATH="${EFI_PATH:-/boot/efi}"
+if command -v bootctl >/dev/null 2>&1
+then
+    EFI_PATH="$(bootctl --print-esp-path)"
+fi
+
 if [ -z "${EFI_PATH}" ] || [ ! -d "${EFI_PATH}" ]
 then
     echo "EFI system partition '${EFI_PATH}' not found" >&2