[Bug 618530] HDMI output not working