Después de hablar por mp y ver las disculpas si te voy a ayudar.
Te comento lo que ya te he dicho por mp, pasar a la 4.0 solo para actualizar con las OTA es una tontería, por que habiendo las oficiales de Google enteras a 4.2.1 y evitar flashear parches y ahorrarse tiempo, siempre es mucho mejor. no por nada mas.
AQUÍ están todas las oficiales de Google: 4.0.4 4.1.2 y 4.2.1, si de todas maneras sigues empeñado a poner 4.0, (que nadie con idea te lo va a recomendar puesto que es mas limpio directamente.) solo tienes que bajar la 4.0 y extraer, pero es una tontería hacerlo con toolkit, siendo mas fácil y rápido siguiendo este tutorial:
http://www.htcmania.com/showpost.php...59&postcount=1
Si aun quieres ir mas lejos, esta es la 4.0.1:
http://goo.im/devs/WugFresh/stock/ma...y-acf0157b.tgz
Y si quieres utiliza toolkit, entonces solo descomprime esos archivos con winrar en la carpeta donde las descarga el toolkit.
Estas versiones son Yakju, (Españolas) y aun no tienen OTA a 4.2.2, en caso de 4.2.2 deberás instalar las Takju, que esas son las mismas prácticamente.
yo recomiendo que sigas el tutorial que te he puesto, si no al menos descarga ese archivo, descomprimes la img deseada, copias los archivos descargados en la carpeta de la img descargada conectas el móvil con el bootloader desbloqueado, en modo fastboot, y ejecutas el flashall.exe, y el mismo lo hace todo.
DESCARGA
Saludos,