@Pali - can you put some script in kernel-power-settings(kernel-config) to automatically replace 700,750 frequencies with 720 on profile load, using the voltage for 750? With some sort of a warning "you are using a deprecated frequencies, bla, bla". As I am afraid there will be an avalanche of reports "my battery, my CPU,..." once those go into extras.

Your scripting skills are better than mine, that's why it is better you to do it .