Re: [U-Boot] [PATCH v3 4/7] efi_loader: Track size of pool allocations to allow freeing