Linux also pushes BIOS updates via fwupd, just for your information.