test: cover case folding of Type #2 entry IDs in TEST-86

Rename the UKI to a mixed case file name with a boot counter before
selecting the first profile, and give the second profile a mixed case
ID, so that both are only reachable if systemd-boot folds the entry IDs
of Type #2 entries with boot counter and of secondary profiles.

The entry IDs passed to bootctl set-default are spelled lower case and
without the counter, like loader.conf(5) documents and bootctl list
shows them.

mkosi/mkosi.uki-profiles/profile2.conf

@@ -1,7 +1,8 @@
 # SPDX-License-Identifier: LGPL-2.1-or-later
 
+# The mixed case ID checks that entry IDs are matched case insensitively.
 [UKIProfile]
 Profile=
-        ID=profile2
+        ID=Profile2
         TITLE=Profile Two
 Cmdline=testprofile2=1

test/units/TEST-86-MULTI-PROFILE-UKI.sh

@@ -12,7 +12,12 @@ fi
 
 bootctl
 
-CURRENT_UKI=$(bootctl --print-stub-path)
+STUB_PATH=$(bootctl --print-stub-path)
+CURRENT_UKI=$STUB_PATH
+# With boot counting, systemd-bless-boot may already have renamed the UKI.
+if [[ ! -f "$CURRENT_UKI" ]]; then
+    CURRENT_UKI="${CURRENT_UKI%+*}.efi"
+fi
 MEASURE=/usr/lib/systemd/systemd-measure
 
 echo "CURRENT UKI ($CURRENT_UKI):"
@@ -58,15 +63,21 @@ systemd-cryptsetup attach multiprof /root/encrypted.raw - tpm2-device=auto,headl
 systemd-cryptsetup detach multiprof
 
 if [[ "$ID" == "main" ]]; then
-    bootctl set-default "$(basename "$CURRENT_UKI")@profile1"
+    # Give the UKI a mixed case name with a boot counter. Entry IDs are matched case insensitively
+    # and without the counter, so the lower case ID without counter has to keep working.
+    mv "$CURRENT_UKI" "$(dirname "$CURRENT_UKI")/Multi-Profile+3.efi"
+    bootctl set-default "multi-profile.efi@profile1"
     reboot
     exit 0
 elif [[ "$ID" == "profile1" ]]; then
     grep testprofile1=1 /proc/cmdline
-    bootctl set-default "$(basename "$CURRENT_UKI")@profile2"
+    # The renamed UKI with the boot counter has to be what systemd-boot booted.
+    [[ "$(basename "$STUB_PATH")" == Multi-Profile+* ]]
+    # The profile ID is "Profile2", the lower case entry ID has to match it anyway.
+    bootctl set-default "multi-profile.efi@profile2"
     reboot
     exit 0
-elif [[ "$ID" == "profile2" ]]; then
+elif [[ "$ID" == "Profile2" ]]; then
     grep testprofile2=1 /proc/cmdline
     rm /root/encrypted.raw
     # Reset the default boot entry so a subsequent re-run of the test does not