I had the same problem with my TV, and it tired me every time. I fixed this by activating the HDMI-CEC in the TV settings. Now, as soon as I turn on my terminal, the TV automatically switches to the correct HDMI. It's worth a try, it simplifies life!
