OK,where do I look for it, in LE11 or Beebox UEFI?
LE 11. Create an advancedsettings.xml file: Click!
Is there any hope that the problem with the Generic HDMI-DP Linux driver will be fixed?
Nobody here is working on it. Better ask at the Kodi forum, because this affects many players.