Grundsätzlich wäre ich bei der selben Schlussfolgerung wie Du.
Es gab aber auch schon den Fall, dass es dennoch das Kabel war o. in Kombination mit dem verwendeten HDMI Port am TV einhergeht. Ebenso haben manche Kunststoffgehäuse für den RPi das saubere Zusammenfügen Stecker/Buchse mechanisch blockiert, war nicht viel - hat aber gereicht.
Wenn Du noch ein anderes Kabel haben solltest, versuche es ruhig mal zu tauschen und ggf. an einem anderen HDMI Port des Fernsehers. Die HDMI-Signale sind sehr hochfrequent, da braucht es nicht viel um Ärger zu verursachen. Auch andere hochfrequente Signalquellen wie USB3.x o. WLAN in direkter Nähe sind als Verusacher möglich, gerade bei mangelhaften Kabeln.
Sorry, war ein Tippfehler t -> d drin. Mit getedid create kann man von einem TV/Projektor usw. die EDID Daten mit den unterstützen Auflösungen/Tonformaten usw. als Dateiabbild abspeichern. Diese liest der RPi beim Booten wieder ein und verwendet sie statt der eigentlich vom TV/AVR gerade gemeldeten EDID Informationen. Kann man z.B. als Workaround gebrauchen wenn der RPi oft vor dem TV und/oder AVR hochgefahren wird, damit er dennoch ein Bild liefert.
Wenn man das nutzt darf man nicht vergessen bei einer Veränderung z.B. neuer TV, anderer HDMI Port o.ä. das alte Abbild mit getedid delete wieder zu löschen.
https://wiki.libreelec.tv/configuration/edid