Instalaré el Airpush Detecter. He aprendido algunas cosas más con las opiniones vertidas en este post y os lo agradezco a todos.
Estoy seguro, después de leer hasta aquí, de que no se trata de algo grave (que es lo que temía en principio). Por otro lado ya no ha vuelto a suceder más, así que lo atribuyo a un bug de Android más que a otra cosa. Yo todavía no he tenido experiencias con virus ni en Linux ni en Android, salvo lo ocurrido hoy que no llega a ser ni un virus, sino un fallo de alerta tonto. De hecho hay gente que le ha ocurrido lo mismo sin que estuvieran infectados.
Gracias a todos.