Re: [PATCH] x86/efi: Apply EFI Memory Attributes after kexec