I flashed both my eMMC and system with the new files and installed kernel-power-settings (which sets up all necessary dependencies). After that and some playing with setup, I ended up with ideal kernel running 500-1100mHz ... and everything is fine ... I dont use that cpufrequi though ...