It’s actually the Pi supplying that voltage. See http://www.hdmi.org/learningcenter/kb.aspx?c=13#42