@pali - please, make it very clear on the first page that there is a new frequency scheme, so if one has /etc/default/kernel-power, or loads some custom profiles, he/she MUST modify them according to new frequencies, i.e to remove 700 and to change 750 to 720.