Raspberry PI kein HDMI Signal

Hallo,
nach dem in letzter Zeit häufiger der IPS Dienst aus nicht nachvollziehbaren Gründen stoppte habe ich den Pi ein Update/Upgrade gegönnt :stuck_out_tongue: und ein Update von der 5.1 auf die 5.3 durchgeführt. IPS läuft so weit - bisher ohne Probleme. Zugriff per SSH ok. Aber seit dem Update habe ich auf dem PI kein HDMI Signal mehr.

Als Linux-noob habe ich nur den Hinweis auf einen Eintrag im Verzeichnis boot config.txt gefunden. Aber leider habe ich damit keinen Erfolg. Habt ihr evtl. einen Tipp für mich.
Linux version 4.19.66-v7+ (dom@buildbot) (gcc version 4.9.3 (crosstool-NG crosstool-ng-1.22.0-88-g8460611)) #1253 SMP Thu Aug 15 11:49:46 BST 2019

Danke.

Andreas