The tool that was supplied with the bios is DOS based (phlash16.exe), that is what I'd use to flash the bios. I could only speculate as to whether WinPhlash will work or not.