is there a windows bios flash tool as well now or do we have to use our floppy drives or boot from cd into dos again?