Raspberry Pi: Problem falsche Auflösung bei Start ohne Monitor

Seit Debian 12 Bookworm nutzt Raspberry Pi OS nur noch dtoverlay=vc4-kms-v3d (anstatt vorher dtoverlay=vc4-fkms-v3d, also "Full KMS" anstatt "Fake KMS"). Vorher konnte man in /boot/config.txt hdmi_force_hotplug=1 und weitere Optionen setzen für "Nicht angeschlossenes Display erkennen".

Problem ist nun mit Debian 12 oder 13: Ist beim Start kein Monitor angeschlossen (oder der Monitor ist ausgeschaltet), können keine EDID ("Extended Display Identification Data") Infos gelesen und damit nicht die richtige Auflösung gesetzt werden.

Es gibt zwar "HDMI Dummy Plugs", also Mini-Hardware für ein paar Euro die einen Monitor emuliert, aber das kann doch nicht die Lösung für ein Softwareproblem sein – braucht es auch nicht:

In /boot/firmware/cmdline.txt ans Ende folgendes eintragen und man hat immer fix eine 1080p Auflösung bei 60 Hz eingestellt (für den ersten HDMI Port, das ist bei einem Raspberry Pi 4/5 der direkt neben dem USB-C Port für Strom):

video=HDMI-A-1:1920x1080@60

Mit HDMI-Audioausgabe könnte dasselbe Problem bestehen, siehe dazu:
Raspberry Pi: Problem kein HDMI Audio bei Start ohne Monitor