[skip-ci]: just downloading all kernel sources takes about one hour
and ollieparanoid wants to merge it now. This already ran
successfully with [ci:skip-build] and [ci:skip-vercheck].
This is in preparation for adding in support for the OnePlus 5T
(dumpling) on top of the regular OnePlus 5 (cheeseburger).
Both devices use the same kernel so the name change just makes sense.
