Re: [PATCH v4 5/8] efi_loader: set EFI HTTP Boot download buffer as reserved