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