Why does the linux kernel I installed not show up as an option for templates?

[qubesosforum7328]

I guess I was confused because this guide uses fc42. [SOLVED] Qualcomm QCNFA765 (ath11k/wcn6855) WiFi working on Thinkpad P14s Gen4 AMD - #24 by qubesosforum7328