Sorry, my post was incomplete. This is the profile obtained running "kernel config show" So the voltages are the ones calculated by sr. The default profile file (/etc/default/kernel-power) has all the voltages at 60.