[PATCH 0/2] efi_loader: fix device-path for USB devices