GA-X79-UD3 F16 BIOS questions

[Kain]

I just updated to the latest F16 BIOS. However, there are some minor issues. First, the Windows 8 Task Manager reports the Maximum Speed as 3.6 GHz even though my stock 3930K turbos to 3.8 GHz even when all cores are being used. Second, my 16 GB RAM reports as 15.9 GB in the Task Manager but 16 GB everywhere else.

What should I do? I know these are not major issues but I would still like to correct them. I tried disabling all the C states in the BIOS but it made no difference. I disabled Turbo Boost in the BIOS but then the max speed was reported as 3.2 GHz in the Task Manager.

[dmdilks]

When you go into control panel and click on systems what does it say there on that screen.

[Kain]

It says Intel Core i7-3930K @ 3.2 GHz 3.6 GHz
Installed memory (RAM): 16 GB

[dmdilks]

Once you have updated the bios I don't think you can go back. You will have to live with what you got.

For some reason Gigabyte has made it that you can't go back to a older bios. Why I don't know unless somebody can tell use why.

On most of the x79 boards they are only showing the latest bios and that is it. No older bios are listed any more WHY?