kernel-power-settings: Change freq 750000 to 720000

diff --git a/kernel-power-settings/kernel-config b/kernel-power-settings/kernel-config
index 3d033d9..555ff71 100755 (executable)
--- a/kernel-power-settings/kernel-config
+++ b/kernel-power-settings/kernel-config
@@ -183,6 +183,10 @@ load|loaddef)
             test -z "$minfreq" -o "$freq" -lt "$minfreq" && minfreq=$freq
             test -z "$maxfreq" -o "$freq" -gt "$maxfreq" && maxfreq=$freq
             freq=$((freq*1000))
+            if test "$freq" = "750000"; then
+                echo warning: $freq was changed to 720000;
+                freq=720000
+            fi
             case " $allfreq " in *" $freq "*) ;;
             *)  echo warning: $freq not supported; continue ;;
             esac