I am using a simple Dell OptiPlex as a media centre connected to a Samsung HDTV via HDMI only. I too have the same issue with 10130, I know that I am experiencing the same issue, as your fix works...