Re: [Linux-stable-mirror] [PATCH 4.4 05/27] x86/efi: Build our own page table structures