Tut mir leid, wenn es unklar war, was mein Problem ist ...
Dachte, "automatische HDMI Umschaltung" deaktivieren reicht als Erklärung.
Egal ...
Die config.txt musste nicht bearbeitet werden.
Die ist noch immer die gleiche, die ich seit 17.x verwende.
Das update auf 18.x und nun auf 19.x hat nicht dazu geführt, dass die config.txt verändert wurde.
Jedenfalls steht der Eintrag da drin und wird ignoriert.
Ändert ja auch nix daran, dass meine Einstellungen in Kodi 19.4 nicht übernommen werden.