[RESOLVED] How do I install BIOS updates with Linux

Since this may be of relevance here as well, I’ve created an updater to update on Linux through the UEFI shell. There are some caveats and you may not trust all files provided there-in (read the README):