https://wiki.debian.org/Firmware/Updates https://help.ubuntu.com/community/BIOSUpdate https://wiki.gentoo.org/wiki/BIOS_Update https://en.opensuse.org/SDB:How_update_your_bios https://wiki.archlinux.org/index.php/Flashing_BIOS_from_Linu...