Lenovo M600 BIOS update without Windows (en)

Some time ago I picked up a mini-PC as a bargain for 25 €, which I use from time to time for experiments. The device has a Celeron N3010 at 1 GHz, so it’s at the lower limit for using a Linux desktop. Windows definitely isn’t fun on this little box. But with 4 or 8 GB of RAM (in a SODIMM format like a laptop) and an SSD (unfortunately only SATA, no M.2) the little box is tolerable for a small…