I stil haven't figured out how to make a downloaded kernel-firmware package
a part of the kernel sources tree. Just renaming the firmware package and
manually placing it in the "noarch" directory along the "x86_64" didn't work.
Thanks in advance for any help,