[LinuxBIOS] RE: How to flash the bios?