[RPi4] HDMI CEC was working, stopped - what to check?