deiban packaging of linux kernel with sysmocom modifications

Ben Hutchings 43ae16c40a [x86] efi: Build EFI stub with EFI-appropriate options ... svn path=/dists/sid/linux/; revision=19436		2012-10-12 04:05:04 +00:00
debian	[x86] efi: Build EFI stub with EFI-appropriate options	2012-10-12 04:05:04 +00:00