You can add me to his list. Nice overclock at 4ghz, I was also able to boot windows at 4ghz with those settings but it failed p95.
Im currently running 3.9 ghz at 1.243 voltage. 4ghz stable requires 1.35v+ and im not quite comfortable with that considering my cooler.
One thing ive noticed is that my board likes a lower soc voltage, so ive undervolted it from 1.1 to 1.
Crystal ThreadAMD Threadripper 1950x CPU @ 4.0ghz || 128GB G.Skill TridentZ RGB RAM @ 2933mhz 14-14-14-30 2T || Gigabyte x399 Aorus Motherboard || Evga GTX-1080ti FTW3 Hybrid Graphics Card @ +85 Gpu & +650 Mem || Samsung 960 Pro 1TB SSD || Evga 1000watt Platinum Power Supply || Liqtech TR-4 Liquid Cooling All In One || Corsair Crystal 570x Case || Acer Predator X34 Monitor || DX Racer Chair