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
