Fix a bug that could result in CEC interrupts to be improperly muted

in case the CEC_STAT register was 0, the worker was not invoked and
as a consequence the interrupts were not unmuted
Also try to play better with the interrupt sharing with hdmi_video