[QUESTION] reservation of pool allocations performed during PEI

[Ard Biesheuvel <ard.biesheuvel@linaro.org>]

After a recent change to the AArch64 page table code, the root table
of the page tables is allocated using AllocatePool() rather than
AllocatePages() if its size is much smaller than a page. E.g., when
using 40 bits of translation, the root table only takes up 16 bytes

However, what I have noticed is that pool allocations made during PEI
are listed as available memory in the EFI memory map (using memmap in
the UEFI Shell). Is this expected? Is it part of the contract that
AllocatePool() allocations are lost when entering DXE?

Thanks,
Ard.