Small little problem here. I have second mirrored display on an hdtv via my HDMI output. Everything works fine, however, after I put my computer to sleep, the HDMI output no longer works. I have to restart in order to "re-awaken" the HDMI output. SysPref>Display>Detect Displays does nothing...