device-oneplus-dumpling: adapt for mainline kernel support (MR 2591)

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