Thanks a lot for your continued help! I didn’t notice that BIOS update utility at first because it was marked as being for Windows 10/11. It worked and I’m now on BIOS 1.26!
I’m about to follow these instructions to install the kernel or, failing that, figure out how to do it based on this description of the dom0 update process.
I’m planning on using kernel 6.1.43, unless you would advise a different one that you know works for you?