Personalmente sigue sin entrarme en deep sleep... no sé porqué... no tengo nada abierto (después de reiniciar) ni siquiera el wifi activado...
Por cierto, por si a alguien le pasa, después de instalar el nuevo kernel se ha quedado en las letras de samsung colgada, he tenido que reiniciar en recovery, wipe cache y ya ha arrancado sin problemas
