Es una pena que abandonasen las actualizaciones de un terminal tan bueno, pero a ver... el día que se acabasen tenía que llegar alguna vez. De todos modos, no sé vosotros, pero yo no echo de menos ICS oficial, porque para que me llegue con el TouchWiz apestoso de Samsung, prefiero tenerlo como ahora lo llevo, nativo y puro 100%.
Respecto del Kernel Devil, ya que se habla tan bien de sus bondades, me lo bajo y lo probaré para el finde que viene.
Saludetes!