after checking there are no updates available, I hooked my Vero 4K to a HD Fury Vertex connected to a Sony 4K TV.
I then played some 4K HDR content on Vero 4K, and it looks to me like Vero 4K (or Kodi?) strips some of the HDR metadata. It outputs most metadata, such as max and min luminance, just fine, but MaxCLL and MaxFALL are set to zero, i.e. not passed from source to display.