Yes - that’s the efibootmgr
that fails to add the boot option:
Looks like the current ISO has the same issues I found back i October. There might be a new Qubes 4.2 in
https://qubes.notset.fr/iso/
soon:
Edit (2023-02-18): Oh you are teasing me!
http://mirror.notset.fr/qubes/iso/Qubes-4.2.202302181608-x86_64.log
Edit (2023-02-19): Time to do some testing!
Qubes-4.2.202302191645-x86_64.iso 19-Feb-2023 16:56 6252677120
Qubes-4.2.202302191645-x86_64.iso.DIGESTS 19-Feb-2023 17:04 1291
Qubes-4.2.202302191645-x86_64.iso.asc 19-Feb-2023 17:02 833
Qubes-4.2.202302191645-x86_64.log 19-Feb-2023 17:06 1348201
Qubes-4.2.202302191645-x86_64.torrent 19-Feb-2023 17:04 119868