Hello:
Modifying the
kernel.spec file as you outlined above
PHP Code:
# kernel-firmware
%define with_firmware %{?_with_firmware: 0} %{?!_with_firmware: 1}
should cause the matching kernel-firmware
rpm to be built at the same time. Then you can install both at the same time.
Seve