Default Vcore is 1.35 v according to the notation in the bios. DCC shows
the same. Voltmeter reading 1.136
Everest 1.17
CPU-Z 1.15
Bios 1.148
DCC 1.08

Changing Vcore in the bios does nothing. The system is stuck at the
above voltages.

I guess there is nothing to do but wait on a bios update??