Linux 4.8 no longer boots, as it runs out of descriptor space. Readding the mapping allows reuse, and the next AllocatePool will likely not add a new mapping.

Also fix some small issues found while debugging.

Stefan Brüns (6): efi_loader: Update description of internal efi_mem_carve_out efi_loader: Fix memory map size check to avoid out-of-bounds access efi_loader: Track size of pool allocations to allow freeing efi_loader: Readd freed pages to memory pool efi_loader: Keep memory mapping sorted when splitting an entry efi_loader: Do not leak memory when unlinking a mapping

lib/efi_loader/efi_boottime.c | 21 +++++++++++++++++++-- lib/efi_loader/efi_memory.c | 43 ++++++++++++++++++++++++++++++++----------- 2 files changed, 51 insertions(+), 13 deletions(-)