i too can confirm that f10 bios is awful...my comp wouldnt even boot, tried loading optimised defaults, resetting cmos etc..nothing woould save so i went back to my trusty f6...not tried f7-f9 but after my last experience with f10 i think ill stick with what ive got....
BTW f6 used to let me...