Re: [RFC 0/2] Selective identity mapping for kexec