Why is a separate port a big deal? You could easily put a micro-USB port right next to an HDMI port, take up roughly the same amount of space, and still have a quasi-proprietary but just as easy to use cable that is just an HDMI cable and a micro-USB cable in the same sleeve.