Kernel-install plugin: Double .efi.efi extension in logs

[cvlc12]

mkosi commit the issue has been seen with

main

Used host distribution

Arch

Used target distribution

Arch

Linux kernel version used

6.15

CPU architectures issue was seen on

x86_64

Unexpected behaviour you saw

When using the kernel install plugin, the logs show mkosi using ../staging/uki.efi.efi with a double .efi extension.

Used mkosi config

layout=uki
uki_generator=mkosi
initrd_generator=mkosi-initrd

mkosi output

‣  Applying kernel module filters
‣   Running modinfo to fetch kernel module dependencies
‣   Calculating required kernel modules and firmware
‣  Applying first boot settings
/buildroot: /etc/locale.conf written.
‣  Generating hardware database
‣  Creating cpio archive /var/tmp/mkosi-workspace-2lsqym7h/microcode.initrd…
‣  Removing files…
‣  Creating cpio archive /var/tmp/mkosi-workspace-2lsqym7h/initrd…
‣  Compressing /var/tmp/mkosi-workspace-2lsqym7h/initrd with zstd
‣  Generating unified kernel image for kernel version 6.15.9-arch1-1
+ /usr/lib/systemd/systemd-sbsign sign --private-key /work/etc/kernel/secure-boot-private-key.pem --certificate /work/etc/kernel/secure-boot-certificate.pem /work/var/tmp/mkosi-workspace-2lsqym7h/vmlinuz --output /tmp/linux-signedksfv9qb3
Wrote signed PE binary to /tmp/linux-signedksfv9qb3
+ /usr/lib/systemd/systemd-keyutil public --private-key /work/etc/systemd/tpm2-pcr-private-key.pem
+ /usr/lib/systemd/systemd-measure sign --osrel=/work/var/tmp/mkosi-workspace-2lsqym7h/root/usr/lib/os-release --cmdline=/work/var/tmp/mkosi-workspace-2lsqym7h/cmdline --uname=/tmp/tmp.unameuz8ri3bi --pcrpkey=/tmp/tmp.pcrpkeyn0dfudj_ --linux=/tmp/linux-signedksfv9qb3 --initrd=/work/var/tmp/mkosi-workspace-2lsqym7h/initrd --ucode=/work/var/tmp/mkosi-workspace-2lsqym7h/microcode.initrd --sbat=/tmp/tmp.sbatldnurw8k --bank=sha256 --private-key=/work/etc/systemd/tpm2-pcr-private-key.pem
+ /usr/lib/systemd/systemd-sbsign sign --private-key /work/etc/kernel/secure-boot-private-key.pem --certificate /work/etc/kernel/secure-boot-certificate.pem /tmp/ukiftcm0x1q --output /work/var/tmp/mkosi-workspace-2lsqym7h/staging/uki.efi.efi
Wrote signed PE binary to /work/var/tmp/mkosi-workspace-2lsqym7h/staging/uki.efi.efi
Wrote signed /work/var/tmp/mkosi-workspace-2lsqym7h/staging/uki.efi.efi
‣ Could not rename /var/tmp/mkosi-workspace-2lsqym7h/staging/uki.efi.efi to /tmp/tmpjweak1r8/uki.efi.efi as they are located on different devices, falling back to copying
‣  /tmp/tmpjweak1r8/uki.efi.efi size is 216.9M, consumes 216.9M.
‣ Copying /tmp/tmpjweak1r8/uki.efi to /tmp/kernel-install.staging.SxbcY0/uki.efi.new
‣ Moving /tmp/kernel-install.staging.SxbcY0/uki.efi.new to /tmp/kernel-install.staging.SxbcY0/uki.efi