can someone post oc'ed bios settings for a EX38-DS5??
My friend in sweden is trying to get his cpu (E8400) on 3.6ghz with this ram (Crucials PC6400 4-4-4-12 2.2V).

The problem is that the bios says 3.6ghz but windows says 3ghz so default. I am thinking that the bios doesn't save the oc settings.
Using bios F2 and disabled USB legacy device in bios.