Sorry for the late answer.
I managed to get it working, it seems like one setting that sound like it would change the VDDCR_SOC does... nothing but another setting changes it correctly.
I ended up using 1.020V in one setting (it did not let me use 1.025V) and 1.25V in the other setting and it...