Por software, que yo sepa no se puede.
Deberás hacerlo a través de la tarjeta pcmcia hasta el puerto hdmi o cambiar el sintonizador por uno compatible o comprar un tdthd externo
En cualquier caso yo me esperaría un tiempo ya que no se sabe si será de pago o no y de ser de pago no te servirá de nada.
Saludos.