[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].