Amigo, sigue este tutorial del propio foro de HTCmanía:
http://www.htcmania.com/showthread.php?t=240482
¡Ten en cuenta que este método formateará el móvil por completo!
1-Descargar el archivo con los programas necesarios del link que te dan en el post.
2-Descarga e instala los drivers de tu galaxy mini, necesarios para que tu sistema operativo (Windows) reconozca por completo el terminal.(También puedes usar Samsung Kies para los drivers).
3-Sigue las instrucciones del archivo PDF que te viene adjunto con lo que descargaste.
Tú móvil habrá resucitado.
Cualquier duda la posteas aquí. Saludos!