[PATCH v4 08/14] efi_loader: net: set EFI bootdevice device path to HTTP when loaded from wget