On
https://forums.raspberrypi.com/viewtopic.php?t=327247#p1974181 I found to use dtoverlay=vc4-kms-v3d in config.txt instead of dtoverlay=vc4-fkms-v3d
After adjusting config.txt and a reboot:
ls /dev/cec*
/dev/cec0 /dev/cec1
cec-ctl -d/dev/cec1 --test-power-cycle | head -n 2 gives
Adapter is unconfigured, please configure it first.
cec-ctl 1.22.1
How to configure?
According to man page of cec-ctl:
cec-ctl -d/dev/cec1 --tv -S
TV will be switched on and off in a cycle by
cec-ctl -d/dev/cec1 --test-power-cycle
Remark: Unfortunately cec-ctl -d/dev/cec1 -m does not monitor any key presses from the remote control of the television