I am trying to compile firmware for my device and it is searching for the file `/usr/src/kernels/7.0.12-1.qubes.fc41.x86_64/include/linux/generated/autoconf.h` which to my understanding is a file provided by the kernel headers package. However, searching the update repos the latest version of kernel headers I could find belongs to version 6.17.4-100.fc41 for dom0. What can I do to obtain the latest kernel headers for my version?