[RESOLVED] How do I install BIOS updates with Linux

As it appears to have been six months now that 3.19 has been listed as coming soon for Linux, I’d note to those who see this thread that toward the end of the 3.19 release thread, eg, this one, that describe an unofficial way to install the updates without any need for Windows (even the Windows installer).