Das Werkstatt

UPDATE:
Unfortunately, the .BIN image extracted with 7zip is not the same that is created when extracting the files "the official way", using Windows.
See: https://github.com/eriksjolund/install- ... 5/issues/2

Therefore, when trying to update the BIOS, the correct version number is shown to select, but then you get the following error message:

Invalid BIOS image

So the following is (currently) useless:

HP only provides BIOS updates in form of Windows executables, called "sp99776.exe", for example.

In order to flash the BIOS without Windows, these files can be extracted using "7-zip": It'll extract a bunch of files - but the BIOS itself is the file ending with ".bin"

For example:

R71_010901.bin

Copy this file either onto a USB stick, or into the EFI partition, under the following folder:

HP\BIOS\New

Reboot the Notebook, select the System configuration (Press "ESC" at boot).
Then select to update the BIOS.

*fingers crossed*

Related links:
How to perform a HP BIOS upgrade with only Ubuntu?
How to update BIOS on Linux


So far it seems that using the .bin BIOS image natively doesn't work.
Why is HP doing this, instead of just providing a ".bin" that just works as image as-is?

You either need to run the windows installer (eg on Bart's WindowsPE live distro) to create a USB stick.
Or add the "BIOSUpdate" folder/tools (copied from the HP's installer exe)