Indeed it should have. Not sure what to say but cannot hurt to give the new BIOS a go soon when it comes out. Apparently there are many improvements.I thought 1.0.03 abba should solve that, and is it normal for task manager to report base clock 3.89 ghz instead of 3.90, and minimum clock speed fluctuation can go as low as 3.80 ghz instead of 3.90?
You can always do what I do and use Ryzen Master to do a all core overclock at a lower voltage in the meantime. As you have 8 cores you can set say 4-6 of them at 4GHz base and the others at 4.5GHz. Try 1.275v and see how it goes