Comment # 5 on bug 1191417 from Takashi Iwai

It's not "mandate".  The iwlwifi may fallback to the older firmware version,
and that's the missing one.

The wildcard approach would be more robust, especially for TW, but the problem
is the size of iwlwifi firmware files: it's 44MB in the rpm, and almost same
size as installed.  Basically the installer needs only the latest ucode for
each model, not all versions.

Extending the modinfo syntax for ranges is a tempting option.  If this can be
agreed, it's the best way to go.

As a temporary workaround, we may fiddle the exposed MODULE_FIRMWARE() in
iwlwifi driver code to match with the currently available one, as you pointed
in the second option.  This was usually done for SLE/Leap, while for TW it
wasn't needed so often...