It is actually a USB 3.0 port, so the power is higher. And I do see the thunderbolt icon at the power up, but it does not seem to be present after that.
Anyhow, since the problem with HDR is now solved (and was not definitely related to the supply) I think we can close the discussion.
Thanks again to everybody for the support!