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.