Now the user can choose to install the proprietary firmware along with
the downstream or a (close to) mainline kernel.

[ci:skip-build]: already built successfully in CI