Id like to know as well as im trying to optimise my new PC. Did you find anymore info?
I know the boost advertised boost frequency is for single core so not sure how much lower the all core boost should be.
Also, even though you set it to 4.0Ghz you'd need to load it up the see if it would do that as will fluctuate, so you need cinebench R23. Thats how i saw my 5600X go to 4.3 all cores 100% utilisation after using a auto OC feature of Asus x570 e ( TPU 2) and PBO enabled and the rest auto.
Also need ram DOCP