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
These files are just a copy paste of the regular OnePlus 5 ones with
adjusted codename, display name and screen height.
The used kernel is linux-oneplus-msm8998 (shared with cheeseburger).