I’m afraid that’s beyond me again. I just installed Qubes from scratch and the new kernel seems to be used because both dom0 as well as sys-net show that I’m on Linux 6.1.12.-1.qubes.fc32.x86_64 in terminal?
Edit: checking e.g. my debian-11 template and checking the Advanced settings, I do see the new kernel version being selected.
Also - I just installed firmware-libertas as outlined here and rebooted the whole machine but still not wifi visible when clicking on the network icon in the tray :-/