Where are people finding the F9 bios? On gigabyte's website all I can find is the F5. I updated to F5 last night and I'll find out when I get home this evening if I still have the boot cycling problem.
Please let us know if F5 fixes the issue. I run OS X for work on this and updating the BIOS is major pita (there is no DSDT for F5 yet). I don't want to go through that unless it fixes the issue.