deiban packaging of linux kernel with sysmocom modifications

Ben Hutchings a718693e7b [amd64] Enable X86_X32 (Closes: #708070) ... - Reject x32 executables if x32 ABI not supported - Make x32 syscall support conditional on a kernel parameter - Enable X86_X32_DISABLED so that x32 support must be explicitly enabled svn path=/dists/sid/linux/; revision=21634		2014-07-27 04:08:25 +00:00
debian	[amd64] Enable X86_X32 (Closes: #708070)	2014-07-27 04:08:25 +00:00