Created attachment 642439 [details] 0001-x86_64-efi-Mapping-Boot-and-Runtime-EFI-memory-regio.patch Sent patch to linux-efi for discussion.