Creo que es por el aroma installer,cuando actualizas te da la oportunidad de escoger entre diferentes kernels (stock,anthrax,...) no puedo confirmarlo ya que al actualizar elegi anthrax.Por cierto ,actualizado y funcionando sin problemas,si factory reset ni nada.