deiban packaging of linux kernel with sysmocom modifications

Ben Hutchings 43640872d9 debian/control,debian/rules: Support a 'pkg.linux.notools' build profile ... ...which does not build tools packages		2016-05-14 20:46:46 +01:00
debian	debian/control,debian/rules: Support a 'pkg.linux.notools' build profile	2016-05-14 20:46:46 +01:00