Re: [PATCH v3 00/10] EFI Specific Purpose Memory Support