deiban packaging of linux kernel with sysmocom modifications

Ben Hutchings 5b76884dc2 [amd64] efi: Build our own page table structure ... This avoids adding W+X pages to the default page table, which is not only bad for security but also now triggers a warning on boot.		2016-02-16 02:03:55 +00:00
debian	[amd64] efi: Build our own page table structure	2016-02-16 02:03:55 +00:00