There are links in the article showing how to update the BIOS from Linux. It involves downloading the firmware (a couple of megabytes in a .cab file) and flashi

There are links in the article showing how to update the BIOS from Linux. It involves downloading the firmware (a couple of megabytes in a .cab file) and flashing that onto a USB stick from which you can boot. Windows users do it differently. The carbon has an auto-update service installed which will offer to update the BIOS when it finds a new version available.