Looking for a media player which can play x264 / mkv format videos. HDMI out would be preferred but a composite would also do.