For (a) there is no information where to put the BIOS update (simply inserting a flash stick formatted with VFAT with sp101848.exe doesn't work - as BIOS says "Error: File is missing or damaged").
In (b) I could select "BIOS Update=Force" and then specify "BIOS Image File Name". But it's nowhere specified (at least I couldn't find) what type of the image is supported (if e.g. downloaded sp101848.exe BIOS update can be used in those places).
Is there any official documentation where updating BIOS from BIOS is described?
Be alert for scammers posting fake support phone numbers and/or email addresses on the community. If you think you have received a fake HP Support message, please report it to us by clicking on "Flag Post".