Re: [PATCH 2/4] efi_loader: add a function to remove memory from the EFI map