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