cpufreq: set max freq to 1200Mhz at boot
defconfig: set it for my preferences