La tienes que actualizar con el Rom_update, de lo contrario no te la va a actualizar. De hecho solo te la actualiza si corresponde a la rom que vino con tu mini.
Si la compraste liberada entonces no creo que sea la original de tu mini la de Vodafone. Por eso es que la página de HTC te pide el código debajo de batería, así identifica la Rom que corresponde a tu mini. Pero con alguna Rom vino seguro, liberada o no.
Una vez instalada la Rom y actualizada la radio le puedes poner la rom que quieres ahora sí con el SSPL.
SUerte