deiban packaging of linux kernel with sysmocom modifications

Hans van Kranenburg edc7c6ee64 [x86] Fix booting as Xen dom0 ... This patch is from the tip repo, and will show up in 4.19 later.		2018-12-12 15:57:21 +01:00
debian	[x86] Fix booting as Xen dom0	2018-12-12 15:57:21 +01:00