Tweak interactive cpufreq
Clean up board config
Enable KSM with deferred timer support