deiban packaging of linux kernel with sysmocom modifications

Aurelien Jarno 0ae51dd75b [x86] vfio: Enable VFIO_PCI_VGA. ... svn path=/dists/trunk/linux/; revision=21663		2014-07-31 18:56:58 +00:00
debian	[x86] vfio: Enable VFIO_PCI_VGA.	2014-07-31 18:56:58 +00:00