arm: configs: enable devfreq thermal for rk3288 linux