Unfortunately, your linked discussion sounds different to me, as it is about a signed kernel with a newer certificate than the one provided in the f39 boot loader environment, so simply selecting an older kernel would allow you to boot your system and reinstall a newer boot environment.
But that doesn’t seem to be my problem, as it won’t even load the GRUB boot loader, so I can’t select a different kernel. But the workaround shows me a possible solution - I booted fedora workstation from a USB stick, mounted my encrypted disk, compared the contents of /usr/lib/ostree-boot/efi with /boot/efi and found different EFI binaries, so I cpied them over.
Now it is booting again.
aaah and it seems the command
cp -rp /usr/lib/ostree-boot/efi/EFI /boot/efi
described on the fedoras magazine article is not correct, this leads to an extra EFI subfolder on my system, ending up in /boot/efi/EFI/EFI/*
But one question remains. Why don’t they update the UEFI binaries? …
@siosm Hi, do you think this is yet another manifestation of this issue, and we should add the Verification Failed: (0x1A) Security Violation error message to the description here?
Or is it a different problem, not to be mixed up with it?
@siosm Can you please verify whether the command is correct or not? Thanks!