Post correction. Issue was only human error.
Could you measure the voltage of HDMI connector pin19? the value must be high when insert HDMI,otherwise low.
Actually, I installed the Debian Stretch armhf build and the 4K Toshiba TV works fine now.
Thanks for the reply.