deiban packaging of linux kernel with sysmocom modifications

Ben Hutchings ee7babeceb Merge branch 'sid' into 'sid' ... update to 4.19.15 See merge request kernel-team/linux!98		2019-01-16 18:57:53 +00:00
debian	[rt] Update to 4.19.15-rt12	2019-01-16 11:09:49 +01:00