kernel configuration file generated by /usr/sbin/kernel-config MINFREQ=125 MAXFREQ=600 FREQS="0:30,90 250:38,180 500:48,360 550:54,400 600:60,430 700:60,430 750:60,430 805:60,430 850:60,500 900:60,500 950:60,500 1000:60,500 1100:72,520 1150:72,520 " SMARTREFLEX_VDD1=0 SMARTREFLEX_VDD2=0 GOVERNOR=ondemand IGNORE_NICE_LOAD=1 UP_THRESHOLD=75 SAMPLING_RATE=150000 POWERSAVE_BIAS=0