Board ID Differs from that of Product Page

[LeapingBadger]

Hello! I am looking to update the BIOS of my HP Spectre x360 Convertible 15t-eb000 (which seems to be also known as the "HP Spectre 15-eb0000 x360 Convertible Laptop PC RCTO Base Model" based on the support page tied to my serial number and product number).

I am trying to update the BIOS over USB (I use Linux so I do not have access to the HP Support Assistant in Windows). I have done this once before to update the BIOS from Rev F.9 to F.11. When I did it the first time, I had no issues, and all the details on the product page matched up with what the computer displayed in the BIOS. Now, however, it seems the name on the product page has been changed.

I want to now update the BIOS to Rev F.13. I went through the usual steps of downloading the BIOS executable from the driver page here and creating the USB containing the necessary files using the setup tool. However, I noticed that when creating the USB, it mentioned targeting motherboard type 86E5. This gave me pause, as I remembered from my system information that the motherboard was of type 86E8. Sure enough, the directory structure (attached below) of the resulting USB drive includes files 086E5.bin and 086E7.bin, but has no mention of 86E8.

I know how critical the BIOS is to the function of my device, so I'm wary of installing BIOS firmware that seems to target a different type of motherboard. However, a different question on this forum inquiring about the same device model was answered with a link to the same driver page from which I downloaded the BIOS firmware.

Would it be OK to update the BIOS anyways using the USB created with the recovery tool, despite the apparent mismatch in the names? Additionally, how would I cause the device to begin updating the firmware from USB? Simply starting the computer with the USB inserted didn't do anything.

Thank you so much for your help!

System information:

Recovery USB Directory Structure:

HP_TOOLS
├── EFI
│   └── HP
│   ├── BIOS
│   │   ├── Current
│   │   │   ├── 086E5.bin
│   │   │   ├── 086E5.sig
│   │   │   ├── 086E7.bin
│   │   │   └── 086E7.sig
│   │   ├── New
│   │   │   ├── 086E5.bin
│   │   │   ├── 086E5.sig
│   │   │   ├── 086E7.bin
│   │   │   └── 086E7.sig
│   │   └── Previous
│   ├── BIOSUpdate
│   │   ├── CryptRSA32.efi
│   │   ├── CryptRSA.efi
│   │   ├── HpBiosMgmt32.efi
│   │   ├── HpBiosMgmt32.s09
│   │   ├── HpBiosMgmt32.s12
│   │   ├── HpBiosMgmt32.s14
│   │   ├── HpBiosMgmt.efi
│   │   ├── HpBiosMgmt.s09
│   │   ├── HpBiosMgmt.s12
│   │   ├── HpBiosMgmt.s14
│   │   ├── HpBiosUpdate32.efi
│   │   ├── HpBiosUpdate32.s09
│   │   ├── HpBiosUpdate32.s12
│   │   ├── HpBiosUpdate32.s14
│   │   ├── HpBiosUpdate32.sig
│   │   ├── HpBiosUpdate.efi
│   │   ├── HpBiosUpdate.s09
│   │   ├── HpBiosUpdate.s12
│   │   ├── HpBiosUpdate.s14
│   │   └── HpBiosUpdate.sig
│   └── DEVFW
│   ├── Current
│   │   ├── x3ba_tbt.bin
│   │   ├── x3ba_tbt.sig
│   │   ├── x3b_tbt.bin
│   │   └── x3b_tbt.sig
│   ├── HpDevFwUpdate.efi
│   └── HpDevFwUpdate.s12
├── Hewlett-Packard
│   ├── BIOS
│   │   ├── Current
│   │   │   ├── 086E5.bin
│   │   │   ├── 086E5.sig
│   │   │   ├── 086E7.bin
│   │   │   └── 086E7.sig
│   │   ├── New
│   │   │   ├── 086E5.bin
│   │   │   ├── 086E5.sig
│   │   │   ├── 086E7.bin
│   │   │   └── 086E7.sig
│   │   └── Previous
│   ├── BIOSUpdate
│   │   ├── CryptRSA32.efi
│   │   ├── CryptRSA.efi
│   │   ├── HpBiosMgmt32.efi
│   │   ├── HpBiosMgmt32.s09
│   │   ├── HpBiosMgmt32.s12
│   │   ├── HpBiosMgmt32.s14
│   │   ├── HpBiosMgmt.efi
│   │   ├── HpBiosMgmt.s09
│   │   ├── HpBiosMgmt.s12
│   │   ├── HpBiosMgmt.s14
│   │   ├── HpBiosUpdate32.efi
│   │   ├── HpBiosUpdate32.s09
│   │   ├── HpBiosUpdate32.s12
│   │   ├── HpBiosUpdate32.s14
│   │   ├── HpBiosUpdate32.sig
│   │   ├── HpBiosUpdate.efi
│   │   ├── HpBiosUpdate.s09
│   │   ├── HpBiosUpdate.s12
│   │   ├── HpBiosUpdate.s14
│   │   └── HpBiosUpdate.sig
│   └── DEVFW
│   ├── Current
│   │   ├── x3ba_tbt.bin
│   │   ├── x3ba_tbt.sig
│   │   ├── x3b_tbt.bin
│   │   └── x3b_tbt.sig
│   ├── HpDevFwUpdate.efi
│   └── HpDevFwUpdate.s12
├── HP
│   ├── BIOS
│   │   ├── Current
│   │   │   ├── 086E5.bin
│   │   │   ├── 086E5.sig
│   │   │   ├── 086E7.bin
│   │   │   └── 086E7.sig
│   │   ├── New
│   │   │   ├── 086E5.bin
│   │   │   ├── 086E5.sig
│   │   │   ├── 086E7.bin
│   │   │   └── 086E7.sig
│   │   └── Previous
│   ├── BIOSUpdate
│   │   ├── BiosMgmt32.efi
│   │   ├── BiosMgmt32.s09
│   │   ├── BiosMgmt32.s12
│   │   ├── BiosMgmt32.s14
│   │   ├── BiosMgmt.efi
│   │   ├── BiosMgmt.s09
│   │   ├── BiosMgmt.s12
│   │   └── BiosMgmt.s14
│   └── DEVFW
│   ├── Current
│   │   ├── x3ba_tbt.bin
│   │   ├── x3ba_tbt.sig
│   │   ├── x3b_tbt.bin
│   │   └── x3b_tbt.sig
│   ├── HpDevFwUpdate.efi
│   └── HpDevFwUpdate.s12
└── System Volume Information
├── IndexerVolumeGuid
└── WPSettings.dat