I didn't see the public bios they have is from 2015, the manual references a private from 2019.
I download the 2015 bios and it is DOS based, create a DOS boot USB, (you can also use Freedos) copy the files from the zip onto it and boot, once at the command line run upd.bat to begin the bios update.