new android market and hdmi question