Yo instalé hace semana y media, no recuerdo cual era, pero no fue instalación limpia y se me reinicio una par de veves.
Hace dos dias instalé la del 5 con instalación limpia y no he tenido reinicios, con el kernel stock para ver como vá y la verdad que estoy bastante contento, eso si, a veces laguea y rasca bastante. No sé si con el semaphore vá algo más fluido, pero como no he tenido más problemas y el wifi me dá casi la misma cobertura que en ics, pues lo he dejado así.