BIOS Flash update under linux.