Signalons quand même l'existence de flashbios, un excellent projet libre de mise à jour du bios depuis un système GNU/Linux qui m'a plusieurs fois permis de réaliser cette opération périlleuse… très facilement.