Yo te recomendaria meter 0086 y despues ya el que quieras (1085 o Thor son los más extendidos). Respecto a lo que dices del HD no te preocupes, lo unico que sucederá en una tele que no sea HD esque lo verás como cualquier otro canal y que en lugar de por HDMI tendrás que conectarlo por RCA.
Mis pasos serían claros, meter 1085 que usa un servidor más antiguo el tiempo que dure y en un futuro cuando "caiga" actualizar por red a Thor.