Dori, aquí tienes las versiones, la primera Mainline (sin overclock) y dos, una a 1944 MHz y otra a 1836 MHz.Si tienes reparo por la de 1944 MHz, prueba la otra.
Mainline 4.2.2 Kernel => mako kernel <== (Stock CPU frequencies, GPU overclockable to 487MHz)
Turbo Boost Ultimate 4.2.2 Kernel => mako kernel <== (Turbo Boost to 1.944 GHz, GPU overclockable to 487MHz)
Turbo Boost Mainline 4.2.2 Kernel => mako kernel <== (Turbo Boost to 1.836 GHz, GPU overclockable to 487MHz)