Finalmente consegui instalar Android 2.3.7 (MiniCM7 Pro) no meu X10 Mini Pro. Na verdade eu já havia conseguido várias vezes antes, mas não havia entendido que o problema de acesso à rede era no meu roteador, não no celular.
Veja que beleza de tela do ADW Laucher e o que diz o status do celular: