@1lyaP No, now I'm sure: that was *really* an old Windows instance from 2018 for which there was no UEFI boot menu entry! I see another boot entry at the bottom of the list that could very well be my freshly updated Windows 11:
@1lyaP Fuck yeah!
I guess it's also my fault for having so many drives and trying to boot several operating systems on this old hack box
UEFI made booting PCs a lot more complex. I also broke Arch Linux a couple of times in the past, and figuring out the correct Inca ration for the UEFI boot vars, along with all the files that go in the EFI boot partition, was always so painful.
The PC architecture should be taught to all engineers as a case-study of how kludgy designs lead to more and more kludges.