I went in BIOS and under OC/Advanced/AMD Overclocking I enabled PBO Manual and set PPT 97W (76x128%), TDC 65A, EDC 95A, Temp Limit 80C (like you suggested) and tested with R23 multicore again.
Clocks settled at 4.4 GHz and the score was 10 940, while PPT and EDC were both at 100% most of the...