No video on HDMI after power cycle on RPi

This came up with another user not very long ago and the fix was to simply set the video output in config.txt