Marvell does make switchers:

http://www.marvelldirect.com/multiple-ou...

Perhaps these are MRVL instead of WRVL, which would make them Marvell chips?

Does anyone know who makes the two power regulator chips they are using on this design? I believe this would be the two small square chips marked WRVL-686B-311GAE and WRVL-21AA3-246GAO?

It is my understanding that HDMI1.x sink ports will not supply power out of the HDMI port, only MHL enabled HDMI sink ports can do this. If someone has a pointer in the HDMI spec that says anything about sinks putting out power then please share the reference.