My EP35-DS3R is suffering from the infamous double-boot problem. It reverts to stock settings after every cold boot if I OC higher than ~3.4GHz. It's 100% stable in Windows at 3.8GHz, tested with games, prime95, video, multitasking, etc. If I reboot it maintains the OC, but if I shut the power...