Você está olhando para o caminho errado. Ele não inicia o Thunderbolt para HDMI ... ele termina HDMI para Thunderbolt - embora seja melhor ir direto do Mini DP > Thunderbolt ...
... exceto que o link me levaria a acreditar que isso não pode ser feito.