I run Fedora 30 and would like to update my BIOS. The most recent version available on the Dell support website is 1.13.0, but the most recent version available on LVFS (which seems to be the official way to upgrade the BIOS on Linux systems) is 1.12.1. To any Dell employees on the forums, will the most recent BIOS update be uploaded to LVFS for Linux users? I tried making a bootable FreeDOS image to install the update and it's prohibitively difficult since FreeDOS doesn't provide any live images, only installation images.
Unfortunately it seems like BIOS updates are the only ones that are able to be applied via a bootable DOS image; I tried running the TB16 dock firmware update utility and the Intel Thunderbolt firmware update utility from a bootable DOS image and both gave an error saying they don't work in DOS mode.