Re: [PATCH v2 08/15] efi_loader: device_path: add support for HTTP device path