si puede resultar algo inestable el kernel, si no esta bien configurado en el set cpu, puedes probar, cual te resulta mejor, ahi mismo escojes la frecuencia no le pongas la mas alta de 806 mhz
no abuses
ponle 768 mhz de max y minimos ponle 245 mhz, y ya tu juegas con los perfiles, interactivo ondemand, perfomance, smartass....
