deiban packaging of linux kernel with sysmocom modifications

Luca Boccassi b3be450737 Add build profile and config/defines for disabling linux-source ... Add a new "pkg.linux.nosource" to let users disable building the linux-source-* package, and allow to set "source: false" to modify the default behaviour when no rofile is used. When doing development builds this can save up to 15 minutes of build time, especially on IO-strapped build workers.		2018-05-08 19:17:15 +01:00
debian	Add build profile and config/defines for disabling linux-source	2018-05-08 19:17:15 +01:00