HDMI: Better the explanation of double-buffering and v-sync.