El segundo es el bueno. El primero son las Gapps para Jelly Bean y por eso no me funcionaba. Con el segundo enlace tienes acceso a una lista de Gapps para todas las versiones. Yo me he bajado la última disponible para ICS y esa ha funcionado correctamente.
Muchas gracias por la ayuda.
Saludos