Linux upgrade worked great:
- Get a spare USB drive.
- Format it (I used gdisk)
gdisk /dev/sda # replace with your device, this is interactive
o # nuke with new partition table
n # new partition
EF00 # use the EFI partition code
w # write to disk
- Create the FAT32 partition, e.g
sudo mkfs.vfat -F32 /dev/sda1
- mount it somewhere, e.g
sudo mount /dev/sda1 /mnt
- download the zip and extract files somewhere
- move files to the mountpoint
- reboot and select USB drive to boot from (spam F12 on boot)
BIOS Information
Vendor: INSYDE Corp.
Version: 03.19
Release Date: 05/29/2023
Address: 0xE0000
Runtime Size: 128 kB
ROM Size: 12 MB
Characteristics:
PCI is supported
BIOS is upgradeable
BIOS shadowing is allowed
Boot from CD is supported
Selectable boot is supported
8042 keyboard services are supported (int 9h)
CGA/mono video services are supported (int 10h)
ACPI is supported
USB legacy is supported
BIOS boot specification is supported
Targeted content distribution is supported
UEFI is supported
BIOS Revision: 3.19