Dell bietet auf seiner Linux-Projektseite das Projekt BIOSdisk an, mit dessen Hilfe man Bootdisketten für BIOS-Aktualisierungen erstellen kann. (via http://braincore.blogspot.com/2006/09/yay-bios-update.html)
Weitere Informationen über Formatierungsoptionen