[PATCH v2 09/15] efi_loader: net: set EFI bootdevice device path to HTTP when loaded from wget