Von dem BIOS-Menü aus kannst du auch das neue BIOS von Diskette flashen, bzw. das aktuelle auf Diskette sichern, brauchst also dieses Windows-Tool nicht zwingend. Also wie schon von Katao gesagt im normalen BIOS F8 drücken, dann kommst du da rein. Da kannst du dann auch das zweite BIOS flashen...