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