Снова мемориз.

1. Находим BIOS тут или по модели тут. Скачиваем ISO. Не смущаемся наличием в описании разных Windows.

2. Используем руководство отсюда. В частности, как использовать GRUB2, что бы не шить ISO никуда. У меня не сработало - зависание программы прошивальщика после первого подтверждения своих намерений. Помог способ с загрузочной флешкой. Конспективно:

   ./geteltorito.pl -o xxx.img xxx.iso 
   sudo dd if=xxx.img of=/dev/sdX
   

3. Перезагружаемся, выбираем флешку как источник загрузки и грузимся с неё. Дальше всё понятно.

Опционально проверяем версию BIOS и время релиза из системы:

sudo dmidecode -s bios-version
sudo dmidecode -s bios-release-date