Re: EFI memory allocation