[4ggr0]

A small Powerbank could help in that case, if no power socket is available. But generally power sockets aren't far away from HDMI ports, at least in my experience.