I agree with Aussie Allan in using an empty (apart from the BIOS file of course) flash drive, have had problems when I used a drive with a few folders and other files on it. (BTW AA, that was with a different box and GB mobo unrelated to the 'pesky extra restart' problem I had)
The BIOS files aren't huge, so a cheap little 1GB to 4GB drive formatted FAT32 and used only for BIOS updates is good advice, IMO.