Ok, so by now I've reset the TV, the AVR, and yesterday set up a vanilla LibreELEC, nothing helped. The behavior is always the same, Kodi disappears (with a delay) from the list of devices after switching the source away from LibreELEC, making switching to it again a pain.
Is there anybody here who is fluent enough with reading CEC logs, so that I can at least try to tell Sony (AVR manufacturer) what they are doing wrong?
Thanks.