Re: [PATCH v4 07/14] efi_loader: device_path: add support for HTTP device path