The reason seems to be that $vsel and $rate still contain entries for the 700MHz setting since it's one value more than the files they are written to contain: So it seems like my profile is not the only file I have to edit to remove the 700MHz setting. Can somebody please tell me where else I have to look for it?
default search path: .,/home/user/.kernel,/usr/share/kernel-power-settings/