Yo uso un TDT externo conectado a un amplificador que lo convierte a HDMI. de esta manera lo que entra por HDMI a la TV queda en grande y lo que sintonices en la tele en pequeño (despues puedes poner los dos al mismo tamaño, mitad y mitad).

He estado probando con las entradas externas y no deja poner el PIP.