Mine updated recently (Vizio) and now ALWAYS chooses “smart cast” upon reboot. And I have to wait for it to complete, painfully, slowly, load so I can switch to HDMI.
If the HDMI channel doesn’t have anything it gives me 5 seconds before it switches to smart cast as well. Which is a huge pita