Esa versión aún es beta, la última estable es la k12p, yo te recomiendo la de 250 Hz, no se porque, pero a mi me saca más rendimiento que la otra, y encima gasta menos batería (aunque a nivel de kernel las diferencias son siempre mínimas):
http://forum.xda-developers.com/showthread.php?t=822756